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
Tilblivelse1985
ParadigmeMulti-paradigme: Funksjonell programmering, imperativ programmering
Designet avGérard Huet
Utviklet avINRIA
Siste versjon(er)4.07
Typetildeling inferens, sterk, statisk
Påvirket av
MetaLanguage

Caml ble utviklet av G. Huet, G. Cousineau, Ascander Suarez, Pierre Weis, Michel Mauny og andre fra både INRIA og ENS.

Eksterne lenker rediger