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 Categorical 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.

Property Value
dbo:abstract
  • 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 Categorical 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. (de)
  • 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 Categorical 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. (de)
dbo:developer
dbo:influenced
dbo:latestReleaseDate
  • 2016-04-25 (xsd:date)
dbo:latestReleaseVersion
  • 4.03.0
dbo:license
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 188148 (xsd:integer)
dbo:wikiPageRevisionID
  • 153956947 (xsd:integer)
prop-de:betriebssystem
prop-de:erscheinungsjahr
  • 1996 (xsd:integer)
dct:subject
rdf:type
rdfs:comment
  • 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 Categorical 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. (de)
  • 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 Categorical 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. (de)
rdfs:label
  • Objective CAML (de)
  • Objective CAML (de)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • OCaml (de)
  • OCaml (de)
foaf:page
is dbo:influencedBy of
is dbo:programmingLanguage of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of