OCaml, anciennement connu sous le nom d'Objective Caml, 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 Caml Light, auquel il a ajouté entre autres une couche de programmation objet.

PropertyValue
dbpedia-owl:abstract
  • OCaml, anciennement connu sous le nom d'Objective Caml, 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 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 ou l'assistant de preuves formelles Coq. Les facilités de traitement symbolique du langage permettent le développement d'outils de vérification statique, comme le projet SLAM pour des pilotes Windows écrits par Microsoft, ou ASTRÉE pour certains systèmes embarqués des Airbus A380.
  • OCaml, anteriorment denominat Objective Caml és un llenguatge de programació de la família ML, 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 (Institut national de recherche en informatique et en automatique).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 és el nou nom oficial (abans era Objective Caml) des del Juliol del 2011.OCaml ha estat adoptat per Microsoft com a base del seu llenguatge funcional F#No hi ha cap estàndard per al llenguatge. L'única font de compiladors per al llenguatge és el mateix centre de recerca.Pros i contres del llenguatge.
  • 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ž v něm umožňuje dělat aplikace takové jako v 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.
  • Objective Caml, também conhecida como OCaml, é 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, 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.
  • 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.
  • OCaml(オーキャムル、オーキャメル)は、フランスの INRIA が開発したプログラミング言語MLの方言とその実装である。MLの各要素に加え、オブジェクト指向的要素の追加が特長である。かつては Objective Caml という名前で、その略として OCaml と広く呼ばれていたが、正式に OCaml に改名された。
  • 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 (vergleichbar mit C++-Code). 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 OCaml geschrieben wurde, ist MLDonkey, ein P2P-Client, der auf diversen Betriebssystemen läuft und auf verschiedene P2P-Netzwerke zugreifen kann.
  • OCaml (/oʊˈkæməl/ oh-KAM-əl), originally known as Objective Caml, 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 top level 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(Objective Caml)은 Caml 프로그래밍 언어의 주요 구현체로서 Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy 등의 사람들이 1996년에 작성하였다. OCaml은 INRIA에서 주도적으로 관리하고 유지하는 오픈 소스 프로젝트이다.OCaml은 Caml 언어의 핵심 부분에 객체 지향 구조를 추가한 것이다.OCaml의 특징은 정적 타입 시스템, 타입 추론, 파라메트릭 폴리모피즘, 패턴 매칭, 펑터, 예외 처리, 쓰레기 수집 등이다.Ocaml 도구 모음에는 대화식의 톱 레벨(top level) 인터프리터, 바이트코드 컴파일러, 최적화 컴파일러 등이 포함되어 있다. 또한 많은 표준 라이브러리들이 포함되어 있고 탄탄한 모듈 방식 및 대형 소프트웨어에 적용 가능한 객체 지향 프로그래밍 구조 등을 가지고 있어서, 파이썬이나 펄과 같은 언어들로 응용프로그램을 작성해야 하는 경우에 Ocaml도 충분히 유용하게 사용할 수 있다.Ocaml은 Caml Light를 계승하였다. CAML은 Categorical Abstract Machine Language의 머리글자이지만, Ocaml은 abstract machine(추상 기계) 기능을 삭제하였다.
  • 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. Ocamladmite 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.
  • 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 znany pierwotnie jako Objective Caml – wieloparadygmatowy język programowania oraz implementacja tego języka w postaci zestawu narzędzi i bibliotek.Jest oprócz Caml Light główną implementacją języka Caml którego korzenie sięgają roku 1981. OCaml został stworzony przez Xaviera Leroya Jérôme Vouillon, Damien Doligeza, Didier Rémy i innych w 1996 roku kiedy to Caml Light został poszerzony o system obiektów i natywny kompilator.OCaml Wspiera równie dobrze programowanie funkcyjne obiektowe jak i programowanie imperatywne.Nadaje się do pisania dużych przemysłowych programów ze względu na silny system modułów, dostępne programowanie obiektowe, szybki natywny kompilator oraz szczególnie dobre wsparcie dla programowania funkcyjnego.Jest wolnym oprogramowaniem tworzonym we francuskim akademickim instytucie badawczym INRIA.OCaml wywodzi się z rodziny języków Meta Language, podobnie jak Standard ML.Programy napisane w Ocamlu zajmują czołowe miejsca w ICFP Programming Contest.
dbpedia-owl:developer
dbpedia-owl:influenced
dbpedia-owl:influencedBy
dbpedia-owl:license
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 25478 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 41242 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 131 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 109296360 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:aInfluencé
prop-fr:année
  • 1987 (xsd:integer)
prop-fr:dateDeDernièreVersionStable
  • 2014-10-14 (xsd:date)
prop-fr:dernièreVersionStable
  • 4.020000 (xsd:double)
prop-fr:dialectes
prop-fr:développeur
prop-fr:influencéPar
prop-fr:licence
prop-fr:logo
  • Caml.png
prop-fr:nom
  • OCaml
prop-fr:paradigme
prop-fr:siteWeb
prop-fr:systèmeD'exploitation
prop-fr:typage
prop-fr:wikiPageUsesTemplate
dcterms:subject
rdf:type
rdfs:comment
  • OCaml, anciennement connu sous le nom d'Objective Caml, 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 Caml Light, auquel il a ajouté entre autres une couche de programmation objet.
  • OCaml(オーキャムル、オーキャメル)は、フランスの INRIA が開発したプログラミング言語MLの方言とその実装である。MLの各要素に加え、オブジェクト指向的要素の追加が特長である。かつては Objective Caml という名前で、その略として OCaml と広く呼ばれていたが、正式に 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.
  • 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.
  • OCaml — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ. Этот язык имеет высокую степень выразительности, что позволяет его легко выучить и использовать. Язык CaML поддерживает функциональную, императивную и объектно-ориентированную парадигмы программирования.
  • 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 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.
  • OCaml (/oʊˈkæməl/ oh-KAM-əl), originally known as Objective Caml, 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 top level interpreter, a bytecode compiler, and an optimizing native code compiler.
  • OCaml znany pierwotnie jako Objective Caml – wieloparadygmatowy język programowania oraz implementacja tego języka w postaci zestawu narzędzi i bibliotek.Jest oprócz Caml Light główną implementacją języka Caml którego korzenie sięgają roku 1981.
  • Objective Caml, também conhecida como OCaml, é 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.
  • 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, anteriorment denominat Objective Caml és un llenguatge de programació de la família ML, 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 (Institut national de recherche en informatique et en automatique).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 és el nou nom oficial (abans era Objective Caml) des del Juliol del 2011.OCaml ha estat adoptat per Microsoft com a base del seu llenguatge funcional F#No hi ha cap estàndard per al llenguatge.
  • 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.
  • OCaml(Objective Caml)은 Caml 프로그래밍 언어의 주요 구현체로서 Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy 등의 사람들이 1996년에 작성하였다. OCaml은 INRIA에서 주도적으로 관리하고 유지하는 오픈 소스 프로젝트이다.OCaml은 Caml 언어의 핵심 부분에 객체 지향 구조를 추가한 것이다.OCaml의 특징은 정적 타입 시스템, 타입 추론, 파라메트릭 폴리모피즘, 패턴 매칭, 펑터, 예외 처리, 쓰레기 수집 등이다.Ocaml 도구 모음에는 대화식의 톱 레벨(top level) 인터프리터, 바이트코드 컴파일러, 최적화 컴파일러 등이 포함되어 있다.
rdfs:label
  • OCaml
  • OCaml
  • OCaml
  • OCaml
  • OCaml
  • OCaml
  • OCaml
  • OCaml
  • OCaml
  • OCaml
  • Objective CAML
  • Objective Caml
  • Ocaml
  • Ocaml
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • OCaml
foaf:page
is dbpedia-owl:influencedBy of
is dbpedia-owl:programmingLanguage of
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is prop-fr:influencéPar of
is prop-fr:langageDeProgrammation of
is foaf:primaryTopic of