Caml

Caml represents a Computer programming language general practitioner designed for the safety and the reliability of the programs. He lends himself to styles of functional programming , imperative and directed object. It is moreover one strongly typified language.

The Caml language is developed since 1985 by the teams Formel then Cristal of INRIA. There exist two implementations of Caml :

  • Objective Caml is the most advanced implementation,

  • Caml Light is a light implementation, often used in the academic mediums.

The Caml language is, in its version Caml Light , taught in data-processing option in the majority of the preparatory classes at the universities, out of die MPSI/MP. The functional style returns it relatively near to mathematics, in particular thanks to the recursivity, strong typing makes its use sure (but less flexible for the programmer) and the exemption from payment of its distribution does not harm to the taxpayer. Moreover, the characteristic of the languages ml, namely the recognition of reasons ( pattern matching ), allows a syntax on a case-by-case basis clear and readable in the recursive functions. It is also used in the correction of the exceptions, in particular for the management of the errors.

Consortium

The design and the development of the Caml language and its environment are federated by a Consortium directed by the INRIA.

The Caml extensions

There exists a great number of extension of the Caml language, making it possible the language to cover the most possible concepts.

  • PolyAML: In Polymorphic Aspect-oriented Functional Programming Language. Extension for the programming by aspect.
  • Aspectual Caml: year Aspect-Oriented Functional Language. Extension for the programming by aspect.
  • MVC in OCaml.
  • OCamlDuce: XML and typing.
  • Meta-ocaml: types and macros.
  • Ocaml-templates: generation of code starting from the types.
  • FreshML: Programming with Simple Made Binders
  • Generic Polymorphism in ml
  • O' Jacaré (based on camljava) to launch a hand to Java

See too

Internal bonds

External bonds

  • Official site
  • '' Développement of applications with Objective Caml '', delivers O' Reilly on line (published in 2002 but remains very complete).
  • Cours of programming in Caml for beginners
  • has off brief history Caml (ace I remember it)
  • Exercices of programming in Caml, with corrected
  • Exercices in CAML with corrected

Random links:A film like the others | Little nun (river) | Observatory of Calar Viola | Hairy peak | Metropolitan region of Rio de Janeiro | Jonction_de_dock,_la_Géorgie