The Pragmatic

   _,gggggg,_         ,gggg,
 ,d8P""d8P"Y8b,     ,88"""Y8b,                               ,dPYb,
,d8'   Y8   "8b,dP d8"     `Y8                               IP'`Yb
d8'    `Ybaaad88P'd8'   8b  d8                               I8  8I
8P       `""""Y8 ,8I    "Y88P'                               I8  8'
8b            d8 I8'            ,gggg,gg   ,ggg,,ggg,,ggg,   I8 dP
Y8,          ,8P d8            dP"  "Y8I  ,8" "8P" "8P" "8,  I8dP
`Y8,        ,8P' Y8,          i8'    ,8I  I8   8I   8I   8I  I8P
 `Y8b,,__,,d8P'  `Yba,,_____,,d8,   ,d8b,,dP   8I   8I   Yb,,d8b,_
   `"Y8888P"'      `"Y8888888P"Y8888P"`Y88P'   8I   8I   `Y88P'"Y88

                                                             Reference!

OCaml, also known as O'Caml, Objective Caml, Nonstandard ML, The
French ML, and The Language You Need To Compile Coq, is a pragmatic
and industrially relevant programming language (meaning it is impure,
object-oriented, and has curly-brace-and-semicolon syntax).

This page is a frequently updated help site for industrial OCaml
programmers.  The information contained here is indispensable,
particularly for programmers that use OCaml in a heterogeneous
environment where it has to interact with other exotic languages, run
on bad operating systems, and perhaps be used for the implementation
of portfolio management software.

OCaml as she is wrote.

Other French programming languages.

Do you need to make your OCaml code go faster?  Academic researchers
finally finished their work on algebraic effect handlers that is
apparently a necessity for multicore execution, and now parallel OCaml
is a reality.

Take a look at this ray tracer for an example.

Accelerating science!  (Maybe they used OCaml?)