Caml | |||
---|---|---|---|
Tilblivelse | 1985 | ||
Paradigme | Multi-paradigme: Funksjonell programmering, imperativ programmering | ||
Designet av | Gérard Huet | ||
Utviklet av | INRIA | ||
Siste versjon(er) | 4.07 | ||
Typetildeling | inferens, sterk, statisk | ||
Påvirket av | |||
MetaLanguage |
Caml, Categorical Abstract Machine Language, er et programmeringsspråk i ML-familien. Det er et sterkt typet funksjonelt programmeringsspråk med fokus på typeinferens. En populær implementasjon av Caml er Objective Caml.
Caml ble utviklet av G. Huet, G. Cousineau, Ascander Suarez, Pierre Weis, Michel Mauny og andre fra både INRIA og ENS.