Objective Caml, or OCaml, is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996. OCaml extends the core Caml language with object-oriented constructs. OCaml's toolset includes an interactive toplevel interpreter, a bytecode compiler, and an optimizing native code compiler.

PropertyValue
dbpedia-owl:abstract
  • Objective Caml, or OCaml, is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996. OCaml extends the core Caml language with object-oriented constructs. OCaml's toolset includes an interactive toplevel interpreter, a bytecode compiler, and an optimizing native code compiler. It has a large standard library that makes it useful for many of the same applications as Python or Perl, as well as robust modular and object-oriented programming constructs that make it applicable for large-scale software engineering. OCaml is the successor to Caml Light. The acronym CAML originally stood for Categorical Abstract Machine Language, although OCaml abandons this abstract machine. OCaml is a free open source project managed and principally maintained by INRIA. In recent years, many new languages have drawn elements from OCaml, most notably F# and Scala.
  • OCaml ist eine auf der ML-Sprachfamilie basierende Programmiersprache. Sie wird am INRIA unter der Leitung von Xavier Leroy entwickelt. Caml stand ursprünglich für Categorically Abstract Machine Language, basiert aber schon seit langem nicht mehr auf diesem abstrakten Konzept. Zusätzlich zu den funktionalen und imperativen Merkmalen von ML unterstützt OCaml objektorientierte Konzepte und unterscheidet sich in Details von ML. OCaml bietet einen Compiler zur Erzeugung von sowohl Bytecode als auch Maschinencode. Der erzeugte Maschinencode ist sehr effizient. Zu den mächtigsten Merkmalen dieser Sprache gehört statische Typisierung (in Verbindung mit Typinferenz), parametrische Polymorphie, Pattern Matching, ein Mechanismus zur Ausnahmebehandlung und automatische Speicherbereinigung. OCaml-Distributionen enthalten einige allgemeine Bibliotheken und sind für zahlreiche Plattformen, inklusive Unix und Windows erhältlich. Ein bekanntes Programm, das in O’Caml geschrieben wurde, ist MLDonkey, ein P2P-Client, der auf diversen Betriebssystemen läuft und auf verschiedene P2P-Netzwerke zugreifen kann.
  • El lenguaje Objective CAML, también llamado Ocaml u O'Caml, es un lenguaje de programación avanzado de la familia de los lenguajes ML, desarrollado y distribuido por el INRIA en Francia. Ocaml admite los paradigmas de programación imperativa, programación funcional y programación orientada a objetos. Ocaml nace de la evolución del lenguaje CAML, abreviación de Categorical Abstract Machine Language, al integrársele la programación con objetos. El código fuente en Ocaml se compila en código para una máquina virtual o en código de máquina para diferentes arquitecturas. Este último compilador produce código comparable en eficiencia al producido por compiladores como el del lenguaje C/C++. Ocaml dispone de un análisis de tipos estático con inferencia de tipos, con valores funcionales de primera clase, polimorfismo parametrizado, llamada por patrones, manejo de excepciones, recolección de basura y otras características avanzadas.
  • Objective Caml (OCaml), julkaistu 1996, on Caml-ohjelmointikielen tärkein toteutus. Se laajentaa Caml:in ydintä oliopohjaisilla rakenteilla. OCaml:ssa on korkeatasoinen tulkki ja optimoiva kääntäjä ja suuri standardikirjasto, mikä tekee siitä käyttökelpoisen myös laajien ohjelmistojen kehitykseen.
  • Objective Caml, conosciuto anche con il nome di OCaml o O'Caml, è un avanzato linguaggio di programmazione appartenente alla famiglia di linguaggi di programmazione ML. È sviluppato e distribuito come software open source dalla INRIA. O'Caml è stato creato nel 1996 come successore del CAML. Tra i suoi autori si ricordano Xavier Leroy, Jerome Vouillon e Damien Doligez. La sigla CAML originariamente derivava da Categorical Abstract Machine Language, mentre la O iniziale è stata aggiunta per sottolineare l'estensione ad oggetti del nuovo linguaggio. O'Caml condivide le caratteristiche dei linguaggi funzionali e di quelli imperativi, ma contiene elementi di programmazione orientata agli oggetti e alcune differenze sintattiche.
  • Objective Caml（オブジェクティブ・キャムル）は、フランスのINRIAが開発した関数型プログラミング言語MLの方言とその実装である。通常 OCaml(オキャムル) と略称される。強力な型推論を最大の特徴とする。
  • Caml (Categorical Abstract Machine Language) is een dialect van ML, ontwikkeld op het INRIA en de École Normale Supérieure. Caml is statisch getypeerd, strikt geëvalueerd, en maakt gebruik van automatisch geheugenbeheer door middel van garbage collection. De eerste Caml-implementatie was geschreven in Lisp en had, vanwege zijn zware geheugen- en CPU-gebruik, de bijnaam Heavy Caml. Zijn opvolger, Caml Light, werd geïmplementeerd in C door Xavier Leroy en Damien Doligez. Ook voegden die een krachtig modulesysteem toe.
  • Objective Caml, eller OCaml, er «storebroren» til Caml og tilbyr i tillegg til Caml-egenskapene mulighet for objektorientert programmering.
  • OCaml (Objective Caml) to obiektowy funkcyjny język programowania, który istnieje w wersji zarówno interpretowanej jak i kompilowanej, przy czym kompilowany Ocaml to jeden z najszybszych języków funkcyjnych. OCaml jest tworzony przede wszystkim we francuskim akademickim instytucie badawczym INRIA od 1985 roku. Jest dostępny na licencji LGPL. Ocaml jest statycznie typizowany z inferencją typów. Do Ocamla jest dość dużo bibliotek oraz istnieje pokaźna liczba rozszerzeń i programów pomocniczych, takich jak: ocamldep - generuje zależności między modułami dla Makefile'a. ocamlcp - front end do ocamlc, dodający informacje profilujące ocamlprof - program interpretujący wyniki działania programów skompilowanych za pomocą ocamlcp ocamllex - generator lekserów dla ocamla, podobny do lex i flex dla C. ocamlyacc - generator parserów dla ocamla, podobny do yacc i bison dla C. ledit - frontend zapewniający edycje linii do ocamla. dbforge - program do tworzenia interfejsów do relacyjnych baz danych ODBC, MySQL i PostgreSQL zoggy - program do generowania interfejsów GTK+ camlp4 - Pre-Procesor-Pretty-Printer do ocamla, umożliwia używanie praktycznie dowolnej składni, np. składni Lispowej. i wiele innych Programy napisane w Ocamlu zajmują czołowe miejsca w ICFP Programming Contest. Ocaml wywodzi się z rodziny języków Meta Language, podobnie jak Standard ML.
  • Objective Caml, também conhecida como OCaml ou O'Caml, é 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.
  • Objective Caml（OCaml）是Caml编程语言的主要实现，由Xavier Leroy，Jérôme Vouillon，Damien Doligez，Didier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA。
  • Objective Caml, également connu sous sa forme abrégée OCaml, est l'implémentation la plus avancée du langage de programmation Caml, créé par Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy et leurs collaborateurs en 1996. Ce langage, de la famille des langages ML, est un projet open source dirigé et maintenu essentiellement par l'INRIA. OCaml est le successeur de Modèle:Lang, auquel il a ajouté entre autres une couche de programmation objet. L'acronyme CAML provient de Modèle:Lang, un modèle de machine abstraite qui n'est cependant plus utilisé dans les versions récentes de OCaml. Portable et performant, OCaml est utilisé dans des projets aussi divers que le logiciel de synchronisation de fichiers Unison, l'assistant de preuves formelles Coq. L'interprétation abstraite du langage permet le développement d'outils de vérification statique, comme ceux des pilotes Windows écrits par MicrosoftModèle:Refnec, ou encore ASTRÉE pour l'analyse statique de certains systèmes embarqués des Airbus A380.
dbpedia-owl:developer
dbpedia-owl:influenced
dbpedia-owl:influencedBy
dbpedia-owl:latestReleaseVersion
  • 3.12.0
dbpedia-owl:license
dbpedia-owl:wikiPageExternalLink
dbpprop:developer
dbpprop:dialects
  • F#, JoCaml, MetaOCaml, OcamlP3l
dbpprop:genre
dbpprop:influenced
dbpprop:influencedBy
dbpprop:latestReleaseVersion
  • 3 (xsd:integer)
dbpprop:license
dbpprop:name
  • OCaml
dbpprop:operatingSystem
dbpprop:paradigm
dbpprop:typing
dbpprop:website
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
dbpprop:year
  • 1996 (xsd:integer)
dcterms:subject
rdf:type
rdfs:comment
  • Objective Caml (OCaml), julkaistu 1996, on Caml-ohjelmointikielen tärkein toteutus. Se laajentaa Caml:in ydintä oliopohjaisilla rakenteilla. OCaml:ssa on korkeatasoinen tulkki ja optimoiva kääntäjä ja suuri standardikirjasto, mikä tekee siitä käyttökelpoisen myös laajien ohjelmistojen kehitykseen.
  • Objective Caml（オブジェクティブ・キャムル）は、フランスのINRIAが開発した関数型プログラミング言語MLの方言とその実装である。通常 OCaml(オキャムル) と略称される。強力な型推論を最大の特徴とする。
  • Objective Caml, eller OCaml, er «storebroren» til Caml og tilbyr i tillegg til Caml-egenskapene mulighet for objektorientert programmering.
  • Objective Caml（OCaml）是Caml编程语言的主要实现，由Xavier Leroy，Jérôme Vouillon，Damien Doligez，Didier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA。
  • OCaml ist eine auf der ML-Sprachfamilie basierende Programmiersprache. Sie wird am INRIA unter der Leitung von Xavier Leroy entwickelt. Caml stand ursprünglich für Categorically Abstract Machine Language, basiert aber schon seit langem nicht mehr auf diesem abstrakten Konzept. Zusätzlich zu den funktionalen und imperativen Merkmalen von ML unterstützt OCaml objektorientierte Konzepte und unterscheidet sich in Details von ML.
  • Objective Caml, or OCaml, is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996. OCaml extends the core Caml language with object-oriented constructs. OCaml's toolset includes an interactive toplevel interpreter, a bytecode compiler, and an optimizing native code compiler.
  • El lenguaje Objective CAML, también llamado Ocaml u O'Caml, es un lenguaje de programación avanzado de la familia de los lenguajes ML, desarrollado y distribuido por el INRIA en Francia. Ocaml admite los paradigmas de programación imperativa, programación funcional y programación orientada a objetos. Ocaml nace de la evolución del lenguaje CAML, abreviación de Categorical Abstract Machine Language, al integrársele la programación con objetos.
  • Objective Caml, conosciuto anche con il nome di OCaml o O'Caml, è un avanzato linguaggio di programmazione appartenente alla famiglia di linguaggi di programmazione ML. È sviluppato e distribuito come software open source dalla INRIA. O'Caml è stato creato nel 1996 come successore del CAML. Tra i suoi autori si ricordano Xavier Leroy, Jerome Vouillon e Damien Doligez.
  • Caml (Categorical Abstract Machine Language) is een dialect van ML, ontwikkeld op het INRIA en de École Normale Supérieure. Caml is statisch getypeerd, strikt geëvalueerd, en maakt gebruik van automatisch geheugenbeheer door middel van garbage collection. De eerste Caml-implementatie was geschreven in Lisp en had, vanwege zijn zware geheugen- en CPU-gebruik, de bijnaam Heavy Caml. Zijn opvolger, Caml Light, werd geïmplementeerd in C door Xavier Leroy en Damien Doligez.
  • OCaml (Objective Caml) to obiektowy funkcyjny język programowania, który istnieje w wersji zarówno interpretowanej jak i kompilowanej, przy czym kompilowany Ocaml to jeden z najszybszych języków funkcyjnych. OCaml jest tworzony przede wszystkim we francuskim akademickim instytucie badawczym INRIA od 1985 roku. Jest dostępny na licencji LGPL. Ocaml jest statycznie typizowany z inferencją typów.
  • Objective Caml, também conhecida como OCaml ou O'Caml, é 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.
  • Objective Caml, également connu sous sa forme abrégée OCaml, est l'implémentation la plus avancée du langage de programmation Caml, créé par Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy et leurs collaborateurs en 1996. Ce langage, de la famille des langages ML, est un projet open source dirigé et maintenu essentiellement par l'INRIA. OCaml est le successeur de Modèle:Lang, auquel il a ajouté entre autres une couche de programmation objet.
rdfs:label
  • Objective CAML
  • Objective Caml
  • Ocaml
  • Objective Caml
  • Objective Caml
  • Objective Caml
  • Objective Caml
  • Ocaml
  • Objective Caml
  • OCaml
  • OCaml
  • OCaml
owl:sameAs
foaf:homepage
foaf:name
  • OCaml
foaf:page
is dbpedia-owl:influencedBy of
is dbpedia-owl:programmingLanguage of
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageRedirects of
is dbpprop:dialects of
is dbpprop:influencedBy of
is dbpprop:programmingLanguage of
is owl:sameAs of
is foaf:primaryTopic of