OCaml is an actively used programming language created in 1996. OCaml ( oh-KAM-əl), originally named Objective Caml, is the main implementation of the programming language Caml, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez and others in 1996. A member of the ML language family, OCaml extends the core Caml language with object-oriented programming constructs. OCaml's toolset includes an interactive top-level interpreter, a bytecode compiler, a reversible debugger, a package manager (OPAM), and an optimizing native code compiler. Read more on Wikipedia...

23Years Old 24,061Users 2Jobs

Example code from the Hello World Collection:

(* Hello World in OCaml *)
print_string "Hello World!\n";;

Example code from Linguist:

 * Copyright (c) 2013 Jeremy Yallop.
 * This file is distributed under the terms of the MIT License.
 * See the file LICENSE for details.
let string_of format v =
  let buf = Buffer.create 100 in
  let fmt = Format.formatter_of_buffer buf in begin
    format fmt v;
    Format.pp_print_flush fmt ();
    Buffer.contents buf

Example code from Wikipedia:

fun x_1 -> (x_1 *
     let y_3 =
         let y_2 = (x_1 * 1)
         in (y_2 * y_2)
     in (y_3 * y_3))

Trending Repos

repo stars description
coq 2275 Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
pyre-check 2985 Performant type-checking for python.
ocaml 2473 The core OCaml system: compilers, runtime system, base libraries
flow 19958 Adds static typing to JavaScript to improve developer productivity and code quality.
infer 10169 A static analyzer for Java, C, C++, and Objective-C

Last updated September 6th, 2019