OCaml

Janeiro 2017


Apresentação geral


OCaml é a principal variante da linguagem Caml. Do ponto de vista da linguagem, ela estende o núcleo da linguagem Caml com uma camada orientada para objetos completa, assim como um poderoso sistema de módulos. Um sistema de tipos polimórficos com inferência automática dos tipos garante a coerência dessas características.
O Sistema OCaml é uma implementação de qualidade industrial desta linguagem, incluindo um compilador que produz o código nativo de alto desempenho (ocamlopt) para nove arquiteturas de microprocessador (IA32, PowerPC, AMD64, Alpha, Sparc, Mips , IA64, HPAA, StrongArm), um compilador de bytecode (ocamlc) e um loop de interação (ocaml) para a rapidez do desenvolvimento e a portabilidade. A distribuição do OCaml também oferece uma biblioteca padrão, um debug (ocamldebug), geradores de analisadores léxicos (ocamllex) e sintáticos (ocamlyacc), um pré-processador pretty-printer (camlp4) e um gerador de documentação (ocamldoc).

Disponibilité


O sistema OCaml é um software livre: o compilador é distribuído sob os termos da Q Public License, e sua biblioteca sob os da LGPL; veja o texto da licença para mais detalhes. Além disso, uma licença do tipo BSD é, automaticamente, concedida aos membros do "Caml Consortium". O software pode ser baixado gratuitamente no site oficial, e o seu manual (em Inglês) também está disponível on-line.

Artigo original publicado por caml.inria.fr

Tradução feita por Lucia Maurity y Nouira

Veja também

Publicado por pintuda. Última modificação: 6 de novembro de 2011 às 14:14 por pintuda.
Este documento, intitulado 'OCaml', está disponível sob a licença Creative Commons. Você pode copiar e/ou modificar o conteúdo desta página com base nas condições estipuladas pela licença. Não se esqueça de creditar o CCM (br.ccm.net) ao utilizar este artigo.