Ocsigen uses the OCaml language, which is one of the most advanced programming languages.

OCaml combines:

  • the conciseness of dynamic languages,
  • the speed of compiled languages, and
  • the safety of strongly typed languages
  • OCaml is a very expressive language. It has many advanced features for all situations. It is imperative, functional, object oriented. It has pattern matching and parameterized modules.
  • The code generated runs fast
  • It has a very rich type system, with, for example variant types and type inference. This helps the programmer in writing reliable and easily maintained code.
  • It has a rich set of libraries and bindings
  • It has an extensible syntax
  • It has a strong community of users, including academic researchers and industrial users