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.
       
 (DIR) OCaml as she is wrote.
 (DIR) 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.