OCaml

http://pt.dbpedia.org/resource/OCaml

Objective Caml, também conhecida como OCaml (Ojective Categorical Abstract Machine Language), é uma linguagem de programação funcional da família ML, desenvolvida pelo INRIA em 1996. Trata-se da linguagem Caml com a adição de suporte de técnicas de orientação a objetos e algumas alterações e extensões de sintaxe.A excelência de seu compilador que tem gerado código nativo rapidamente e com excelente desempenho quanto a tempos de execução, bem como uma biblioteca base extensa, têm-lhe conquistado bastante notoriedade.
OCaml 
JoCaml, MetaOCaml, OcamlP3l 
Caml, Caml Light, Standard ML, Haskell 
Objective Caml 
estática, implícita e forte 
xsd:integer
xsd:integer 4001 
estática, tipagem fraca ou forte, inferência 
Objective Caml, também conhecida como OCaml (Ojective Categorical Abstract Machine Language), é uma linguagem de programação funcional da família ML, desenvolvida pelo INRIA em 1996. Trata-se da linguagem Caml com a adição de suporte de técnicas de orientação a objetos e algumas alterações e extensões de sintaxe. OCaml permite dois tipos de compilação, para bytecode que corre numa máquina virtual (zinc) ou para código de máquina nativo para um grande número de plataformas. Ela não é uma linguagem puramente funcional, permitindo a existência de valores mutáveis bem como de efeitos colaterais (side-effects), tipicamente existentes apenas em linguagens imperativas. Esta característica distingue-a de outras linguagens puramente funcionais, como por exemplo Haskell. A excelência de seu compilador que tem gerado código nativo rapidamente e com excelente desempenho quanto a tempos de execução, bem como uma biblioteca base extensa, têm-lhe conquistado bastante notoriedade. 
xsd:nonNegativeInteger 42 
xsd:integer 38595 
xsd:nonNegativeInteger 5213 
xsd:integer 42783223 

data from the linked data cloud