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 is an open source project managed and principally maintained by INRIA. 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
dbpprop: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 is an open source project managed and principally maintained by INRIA. 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.
  • Objective CAML, auch Ocaml oder O’Caml genannt, 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.
  • Objective Caml, abreviat OCaml és una extensió i versió actual del llenguatge de programació Caml, acrònim de "Categorical Abstract Machine Language", creat per Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy i altres el 1996, amb construccions d'Orientació a Objectes, successora de l'extensió anterior del mateix llenguatge anomenada Caml Light. OCaml és un projecte de codi obert impulsat per l'entitat estatal francesa de recerca INRIA. OCaml parteix dels patrons del llenguatge funcional ML amb un lèxic i puntuació diferents, i hi afegeix construccions dels paradigmes de programació procedimental ja incorporades a Caml Light i d'Orientació a objectes, adoptant un enfoc multiparadigma. OCaml posa èmfasi en el rendiment. Xavier Leroy diu "OCaml proporciona pel cap baix un rendiment del 50% d'un compilador de llenguatge C" i els bancs de proves mostren que generalment és així. OCaml ha estat adoptat per Microsoft com a base del seu llenguatge funcional "F sostingut"
  • OCaml je v informatice implementace programovacího jazyka Caml, která byla rozšířena o objektově orientované konstrukce. OCaml je sada nástrojů obsahující interpret, překladač do bytecode i překladač do strojového kódu, který provádí optimalizace. Obsahuje rozsáhlou knihovnu funkcí, což ho činí užitečným pro mnoho dalších programovacích jazyků jako je Python nebo Perl. Jazyk vytvořili v roce 1996 Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy a další jako open source projekt, který je dále spravován institucí INRIA.
  • El lenguaje Objective CAML, también llamado Ocaml o 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. <refA brief history of Caml (as I remember it)</ref 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, é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 199. 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 Caml Light, auquel il a ajouté entre autres une couche de programmation objet. L'acronyme CAML provient de Categorical Abstract Machine Language, 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, et des outils de vérifications statique des drivers Windows, écrits par Microsoft.
  • 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 eDamien 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 Demain Doligez. Ook voegden die een krachtig modulesysteem toe.
  • OCaml, eller Objective Caml, 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 ogromna 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 conhecido como OCaml ou O'Caml é uma linguagem de programação funcional da família ML, desenvolvida por INRIA em 1996. Trata-se de um desenvolvimento da linguagem Caml com a adição de suporte a técnicas de programação por objectos 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) Para código máquina nativo para um grande número de plataformas OCaml 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 capacidade de compilar rapidamente código nativo com bons tempos de execução, bem como uma biblioteca base extensa, têm-lhe conseguido bastante notoriedade.
  • OCaml — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ. Этот язык имеет высокую степень выразительности, что позволяет его легко выучить и использовать. Язык CaML поддерживает функциональную, императивную и объектно-ориентированную парадигмы программирования. Был разработан в 1985 году во французском институте INRIA, который занимается исследованиями в области информатики. Самый распространённый в практической работе диалект языка ML. Инструментарий OCaml включает в себя интерпретатор, компилятор в байткод и оптимизирующий компилятор в машинный код, превосходящий по своим параметрам аналогичные компиляторы C/C++ для многих задач, особенно связанных с синтаксическим анализом и т. п. На языке OCaml, в частности написан рендеринг формул Википедии, использующих тег <math>, а также популярный файлообменный клиент MLDonkey. К достоинствам языка относят: строгую типизацию; развитую систему модулей; автоматическую сборку мусора; эффективность; кроссплатформенность.
  • Ocaml, Fransız Ulusal Bilişim ve Uygulamaları Araştırma Kurumu'nda (INRIA) Xavier Leroy tarafından geliştirilen, ücretsiz ve özgür bir lisans altında sunulan, ML programlama dilleri ailesine mensup, hem yorumlanan hem de derlenip doğal makine koduna dönüştürülebilen gelişmiş bir fonksiyonel programlama dilidir.
  • англ. OCaml (о-ка-ем-ель, англ. Objective Caml) — одна із реалізацій мови програмування Caml. Розширює базові можливості мови Caml об'єктно-орієнтованими можливостями. До набору інструментів OCaml належить інтерактивний інтерпретатор, компілятор в байт-коди, та оптимізуючий компілятор в машинні коди. OCaml має велику стандартну бібліотеку, яка робить його прийнятним для багатьох застосувань, аналогічним застосуванням Python або Perl, та потужні конструкції модульного та об'єктно-орієнтованого програмування, які роблять його прийнятним для розробки великих систем. OCaml є наступником Caml Light. Скорочення CAML означає англ. Categorical Abstract Machine Language, хоча OCaml не використовує цей абстрактний автомат.
  • Objective Caml (OCaml) 是Caml编程语言的主要实现，由Xavier Leroy，Jérôme Vouillon，Damien Doligez，Didier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA。
dbpprop:developer
dbpprop:dialects
  • F#, JoCaml, MetaOCaml, OcamlP3l
dbpprop:genre
dbpprop:hasPhotoCollection
dbpprop:influenced
dbpprop:influencedBy
dbpprop:latestReleaseDate
dbpprop:latestReleaseVersion
  • 3.11.1
dbpprop:license
dbpprop:logo
dbpprop:name
  • Objective Caml
dbpprop:operatingSystem
dbpprop:paradigm
dbpprop:reference
dbpprop:respellProperty
  • KAM
  • oh
  • əl
dbpprop:website
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
rdf:type
rdfs:comment
  • 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 is an open source project managed and principally maintained by INRIA. 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.
  • Objective CAML, auch Ocaml oder O’Caml genannt, 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, abreviat OCaml és una extensió i versió actual del llenguatge de programació Caml, acrònim de "Categorical Abstract Machine Language", creat per Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy i altres el 1996, amb construccions d'Orientació a Objectes, successora de l'extensió anterior del mateix llenguatge anomenada Caml Light. OCaml és un projecte de codi obert impulsat per l'entitat estatal francesa de recerca INRIA.
  • OCaml je v informatice implementace programovacího jazyka Caml, která byla rozšířena o objektově orientované konstrukce. OCaml je sada nástrojů obsahující interpret, překladač do bytecode i překladač do strojového kódu, který provádí optimalizace. Obsahuje rozsáhlou knihovnu funkcí, což ho činí užitečným pro mnoho dalších programovacích jazyků jako je Python nebo Perl.
  • El lenguaje Objective CAML, también llamado Ocaml o 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, é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 199. 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 Caml Light, auquel il a ajouté entre autres une couche de programmation objet.
  • 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 eDamien Doligez.
  • 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 Demain Doligez.
  • OCaml, eller Objective Caml, 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.
  • Objective Caml, também conhecido como OCaml ou O'Caml é uma linguagem de programação funcional da família ML, desenvolvida por INRIA em 1996. Trata-se de um desenvolvimento da linguagem Caml com a adição de suporte a técnicas de programação por objectos e algumas alterações e extensões de sintaxe.
  • OCaml — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ.
  • Ocaml, Fransız Ulusal Bilişim ve Uygulamaları Araştırma Kurumu'nda (INRIA) Xavier Leroy tarafından geliştirilen, ücretsiz ve özgür bir lisans altında sunulan, ML programlama dilleri ailesine mensup, hem yorumlanan hem de derlenip doğal makine koduna dönüştürülebilen gelişmiş bir fonksiyonel programlama dilidir.
  • англ. OCaml (о-ка-ем-ель, англ. Objective Caml) — одна із реалізацій мови програмування Caml. Розширює базові можливості мови Caml об'єктно-орієнтованими можливостями.
  • Objective Caml (OCaml) 是Caml编程语言的主要实现，由Xavier Leroy，Jérôme Vouillon，Damien Doligez，Didier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA。
rdfs:label
  • Objective Caml
  • Objective CAML
  • Objective Caml
  • OCaml
  • Ocaml
  • Objective Caml
  • Objective Caml
  • Objective Caml
  • Ocaml
  • OCaml
  • OCaml
  • OCaml
  • OCaml
  • Ocaml
  • Objective Caml
  • OCaml
owl:sameAs
skos:subject
foaf:homepage
foaf:page
is dbpprop:influencedBy of
is dbpprop:programmingLanguage of
is dbpprop:redirect of
is owl:sameAs of