OCaml
Ocsigen is using 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 parametrized 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 community of users and industrial users
