This HTML5 document contains 416 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbthttp://dbpedia.org/resource/Template:
dbpedia-dahttp://da.dbpedia.org/resource/
dbpedia-elhttp://el.dbpedia.org/resource/
dbpedia-nohttp://no.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
n67http://projects.camlcity.org/projects/
dbpedia-fihttp://fi.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
dbpedia-mshttp://ms.dbpedia.org/resource/
dbpedia-arhttp://ar.dbpedia.org/resource/
n63http://viaf.org/viaf/
dbpedia-hehttp://he.dbpedia.org/resource/
n62https://
schemahttp://schema.org/
n5http://ml.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
n64https://ocaml.org/
n13http://commons.wikimedia.org/wiki/Special:FilePath/
dctermshttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-cshttp://cs.dbpedia.org/resource/
dbpedia-azhttp://az.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n35http://d-nb.info/gnd/
dbphttp://dbpedia.org/property/
n47http://wiki.erights.org/wiki/
n57http://tg.dbpedia.org/resource/
n34https://semgrep.dev/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-ukhttp://uk.dbpedia.org/resource/
n43https://discuss.ocaml.org/
dbohttp://dbpedia.org/ontology/
dbpedia-vihttp://vi.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
n61https://bucklescript.github.io/
n42https://github.com/ocaml-ppx/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-dehttp://de.dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
dbpedia-ruhttp://ru.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n50http://caml.inria.fr/pub/docs/manual-ocaml/
goldhttp://purl.org/linguistics/gold/
dbpedia-nlhttp://nl.dbpedia.org/resource/
yago-reshttp://yago-knowledge.org/resource/
n18https://global.dbpedia.org/id/
n21https://github.com/bcpierce00/
dbpedia-slhttp://sl.dbpedia.org/resource/
n45https://www.lexifi.com/apropos/
dbpedia-ithttp://it.dbpedia.org/resource/
n26https://opam.ocaml.org/
n40https://github.com/ocsigen/
dbpedia-cahttp://ca.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
dbpedia-nnhttp://nn.dbpedia.org/resource/
foafhttp://xmlns.com/foaf/0.1/
n22http://functory.lri.fr/
dbpedia-simplehttp://simple.dbpedia.org/resource/
n41https://github.com/ocaml/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbpedia-glhttp://gl.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
n8http://www.w3.org/2006/03/wn/wn20/instances/
freebasehttp://rdf.freebase.com/ns/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-kahttp://ka.dbpedia.org/resource/

Statements

Subject Item
dbr:OCaml
rdf:type
yago:WikicatProgrammingLanguages yago:WikicatProgrammingLanguagesCreatedIn1996 yago:WikicatFunctionalLanguages yago:Language106282651 wikidata:Q9143 dbo:ProgrammingLanguage yago:ArtificialLanguage106894544 yago:Abstraction100002137 yago:ProgrammingLanguage106898352 wikidata:Q315 owl:Thing yago:Communication100033020 dbo:Language dbo:Software schema:Language
rdfs:label
Ocaml OCaml OCaml OCaml OCaml OCaml OCaml OCaml Objective Caml OCaml OCaml OCaml Objective CAML OCaml لغة كامل الموضوعية OCaml
rdfs:comment
لغة كامل الموضوعية أو الأو كامل هي التطبيق الرئيسي للغة البرمجة كامل والتي كتبها كل من وآخرين عام 1996. وتعمل لغة أو كامل على التوسع في لغة كامل الرئيسية مع مقومات توجهها موضوعي. وتتضمن مجموعة أدوات لغة أو كامل مترجم على أعلى مستوى ومصنف بايت كود ومصنف شفرة أصلية مثالي. كما يضم مكتبة كبيرة قياسية تجعله مفيدا بالنسبة للكثير من التطبيقات الشبيهة كالبايثون أو البريل ويعد أيضا من مقومات البرمجة ذات التوجه الموضوعي والوحدوية بشكل كبير مما يجعله قابل للتطبيق بالنسبة لهندسة البرمجيات بصورة واسعة النطاق. وأو كامل هو البرنامج اللاحق لكامل لايت. وكلمة كامل هي اختصار للمصطلح Categorical Abstract Machine Language أو لغة الآلة المجردة المطلقة بالرغم من أو كامل تتخلى عن هذه الآلة المجردة. OCaml ist eine auf der ML-Sprachfamilie basierende Programmiersprache. Sie wird am INRIA unter der Leitung von 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. 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 (wcześniej 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. OCaml został stworzony przez , Jérôme Vouillon, , Didier Rémy i innych w 1996 roku, kiedy to Caml Light został poszerzony o system obiektów i . OCaml wspiera równie dobrze programowanie funkcyjne, obiektowe, jak i imperatywne. Jest wolnym oprogramowaniem tworzonym we francuskim akademickim instytucie badawczym . OCaml wywodzi się z Meta Language, podobnie jak Standard ML. OCaml([oʊˈkæməl] oh-KAM-əl、オーキャムル、オーキャメル)は、フランスの INRIA が開発したプログラミング言語MLの方言とその実装である。MLの各要素に加え、オブジェクト指向的要素の追加が特長である。かつては Objective Caml という名前で、その略として OCaml と広く呼ばれていたが、正式に OCaml に改名された。 OCaml(/oʊˈkæməl/ oh-KAM-əl),是一个函数式、指令式、模块化、面向对象的通用的编程语言。在和,于1990年和1991年实现的ML方言Caml Light之上,Didier Rémy和Jérôme Vouillon,于1996年增加了面向对象特征,从而形成了“Objective Caml”,在2011年时重命名为“OCaml”。 OCaml工具链包括交互式顶层解释器、字节码编译器、优化的本机代码编译器,可逆调试器和一个包管理器(OPAM)。OCaml最初开发于自动定理证明的场景中,并在静态分析和形式方法软件中有超凡的存在感。此外,它在系统编程、网页编程和金融工程及其他应用领域都有严肃的应用。 历史上,Ascánder Suárez于1987年基于的(CAM),重新实现了早先的ML方言,并用“范畴抽象机语言”的首字母简写将其命名为Caml,Caml Light放弃了这个抽象机器又进行了重新实现。OCaml是开放源代码项目,此项目的管理和大部分维护工作,已经交由法国国家信息与自动化研究所(INRIA)。在2000年代早期,来自OCaml的元素被很多语言接纳,特别是F#和Scala。 Objective Caml (OCaml, προφέρεται «Οκάμελ»), ή Αντικειμενοστρεφής Caml, είναι η κύρια υλοποίηση της γλώσσας προγραμματισμού , η οποία δημιουργήθηκε από τον Ξαβιέ Λερουά, τον Ζερόμ Βουιγιόν, τον Νταμιέν Ντολιγιέ, Ντιντιέ Ρεμύ και άλλους, το 1996. Η OCaml είναι λογισμικό ανοικτού κώδικα, η διαχείριση και διατήρηση του οποίου γίνεται κυρίως από το INRIA. Η γλώσσα OCaml επεκτείνει τον πυρήνα της γλώσσας Caml με αντικειμενοστρεφή στοιχεία. Η είναι μια διάλεκτος της OCaml (με αρκετές αλλαγές), που εκτελείται στην πλατφόρμα της Microsoft. OCaml (/oʊˈkæməl/ oh-KAM-əl, formerly Objective Caml) is a general-purpose, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features. OCaml was created in 1996 by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, , and others. OCaml è 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. 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 Pythonu nebo Perlu. Jazyk vytvořili v roce 1996 , Jérôme Vouillon, , Didier Rémy a další jako open source projekt, který je dále spravován institucí . Ocaml (Objective CAML) is de belangrijkste implementatie van de programmeertaal Caml (Categorical Abstract Machine Language), een dialect van ML, ontwikkeld op het Inria en de École normale supérieure. OCaml (о-ка-ем-ель, англ. Objective Caml) — одна із реалізацій мови програмування Caml. Розширює базові можливості мови Caml об'єктно-орієнтованими можливостями. До набору інструментів OCaml належить інтерактивний інтерпретатор, компілятор в байт-коди, та оптимізувальний компілятор у машинні коди. OCaml має велику стандартну бібліотеку, яка робить його прийнятним для багатьох застосувань, аналогічним застосуванням Python або Perl, та потужні конструкції модульного та об'єктно-орієнтованого програмування, які роблять його прийнятним для розробки великих систем. OCaml (Objective Caml) — объектно-ориентированный язык функционального программирования общего назначения. Был разработан с учётом безопасности исполнения и надёжности программ. Поддерживает функциональную, императивную и объектно-ориентированную парадигмы программирования. Самый распространённый в практической работе диалект языка ML. Инструментарий OCaml включает в себя интерпретатор, компилятор в байткод и оптимизирующий компилятор в машинный код, сравнимый по эффективности с Java и лишь немного уступающий по быстродействию C и C++. OCaml(Objective Caml)은 프로그래밍 언어의 주요 구현체로서 , , , 등의 사람들이 1996년에 작성하였다. OCaml은 에서 주도적으로 관리하고 유지하는 오픈 소스 프로젝트이다. OCaml은 Caml 언어의 핵심 부분에 객체 지향 구조를 추가한 것이다. OCaml의 특징은 정적 타입 시스템, 타입 추론, 파라메트릭 폴리모피즘, 패턴 매칭, 펑터, 예외 처리, 쓰레기 수집 등이다. Ocaml 도구 모음에는 대화식의 톱 레벨(top level) 인터프리터, 바이트코드 컴파일러, 최적화 컴파일러 등이 포함되어 있다. 또한 많은 표준 라이브러리들이 포함되어 있고 탄탄한 모듈 방식 및 대형 소프트웨어에 적용 가능한 객체 지향 프로그래밍 구조 등을 가지고 있어서, 파이썬이나 펄과 같은 언어들로 응용 프로그램을 작성해야 하는 경우에 Ocaml도 충분히 유용하게 사용할 수 있다. Ocaml은 를 계승하였다. CAML은 Categorical Abstract Machine Language의 머리글자이지만, Ocaml은 abstract machine(추상 기계) 기능을 삭제하였다. 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, , , 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. Objective Caml, também conhecida como OCaml (Objective Categorical Abstract Machine Language), é 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. 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. OCaml, anteriorment denominat Objective Caml és un llenguatge de programació de la família ML, extensió i versió actual del llenguatge de programació , 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 . OCaml és un projecte de codi obert impulsat per l'entitat estatal francesa de recerca (Institut national de recherche en informatique et en automatique). Pros i contres del llenguatge.
owl:differentFrom
dbr:Occam_(programming_language)
foaf:name
OCaml
dbp:name
OCaml
foaf:depiction
n13:OCaml_Logo.svg
dcterms:subject
dbc:Free_compilers_and_interpreters dbc:OCaml_software dbc:Functional_languages dbc:Articles_with_example_OCaml_code dbc:Programming_languages_created_in_1996 dbc:Object-oriented_programming_languages dbc:Cross-platform_free_software dbc:Extensible_syntax_programming_languages dbc:Articles_with_example_code dbc:Pattern_matching_programming_languages dbc:Statically_typed_programming_languages dbc:ML_programming_language_family dbc:OCaml_programming_language_family
dbo:wikiPageID
39652
dbo:wikiPageRevisionID
1122704570
dbo:wikiPageWikiLink
dbr:Proof_(truth) dbr:Persistent_data_structure dbr:Guy_Cousineau_(computer_scientist) dbr:Interpreter_(computing) dbr:Unikernel dbr:MLdonkey dbr:Function_object dbr:Capability-based_security dbr:Arbitrary-precision_arithmetic dbc:Free_compilers_and_interpreters dbr:F_Sharp_(programming_language) dbr:Multi-stage_programming dbc:OCaml_software dbr:F*_(programming_language) dbr:Integrated_development_environment dbr:Modular_programming dbr:Modula-3 dbr:WebAssembly dbr:Parsing dbr:Word_(computer_architecture) dbr:Language_Server_Protocol dbr:ATS_(programming_language) dbr:Hypervisor dbr:Birthday_problem dbr:Fortran dbr:Toolchain dbr:Linker_(computing) dbc:Functional_languages dbr:Scala_(programming_language) dbr:Functional_Abstract_Machine dbr:GNU_Lesser_General_Public_License dbr:Object-oriented_programming dbr:Abstract_machine dbr:Exception_handling dbr:Machine_code dbr:PIC_microcontroller dbr:Strong_and_weak_typing dbr:Objective-C dbr:HOL_Light dbr:Power_ISA dbr:Pierre-Louis_Curien dbr:Web_framework dbr:MirageOS dbr:Standard_ML dbr:Formal_proof dbr:Peer-to-peer_file_sharing dbr:Discrete_Fourier_transform dbr:Lisp_(programming_language) dbr:Object-capability_model dbr:Robin_Milner dbr:Bloomberg_L.P. dbr:Exponentiation dbr:Semantic_analysis_(computer_science) dbr:Xavier_Leroy dbr:Haxe dbr:Damien_Doligez dbr:PHP dbr:Anonymous_function dbc:Articles_with_example_OCaml_code dbr:Data_type dbr:Tail_recursion dbr:EDonkey_network dbr:ReScript_(programming_language) dbr:Integer_(computer_science) dbc:Programming_languages_created_in_1996 dbr:ARM64 dbr:.NET_Framework dbr:Compiler_optimization dbr:Source_code dbr:Profiler_(computer_science) dbr:Array_data_structure dbr:Free_and_open-source_software dbr:IA-32 dbr:Michel_Mauny_(computer_science) dbr:Thread_(computer_science) dbr:Web_browser dbr:Python_(programming_language) dbr:Lambda_calculus dbr:Programming_paradigm dbr:Owl_Scientific_Computing dbr:Multi-paradigm_programming_language dbr:Code_generation_(compiler) dbr:Facebook dbr:Formal_methods dbr:Church_encoding dbc:Object-oriented_programming_languages dbr:Array_bounds_checking dbr:Proprietary_trading dbr:Java_virtual_machine dbr:Luca_Cardelli dbr:Logic_for_Computable_Functions dbr:Facebook_Messenger dbc:Cross-platform_free_software dbr:Pierre_Weis_(computer_scientist) dbr:Parallel_programming dbc:Extensible_syntax_programming_languages dbr:Caml dbr:Caml_Light dbr:Virtualization dbr:Foreign_function_interface dbr:Financial_engineering dbr:Laboratory_for_Foundations_of_Computer_Science dbr:Read–eval–print_loop dbr:Turing_Award dbr:Coccinelle_(software) dbr:Tezos dbr:Automated_theorem_proving dbr:Rust_(programming_language) dbr:Debugger dbr:Unix dbr:Coq dbr:Java_(programming_language) dbr:SPARC dbc:Articles_with_example_code dbr:Boxing_(computer_science) dbr:C++ dbr:Ascánder_Suárez dbc:Pattern_matching_programming_languages dbr:MacOS dbr:Xen_Cloud_Platform dbr:FFTW dbr:Type_inference dbr:Systems_programming dbr:Apple_Inc. dbr:Pattern_matching dbr:C_Sharp_(programming_language) dbr:Garbage_collection_(computer_science) dbr:Quicksort dbr:File_synchronization dbr:Higher-order_function dbr:General-purpose_programming_language dbr:Parametric_polymorphism dbr:Type_signature dbr:Type_system dbr:X86-64 dbr:Paris_Diderot_University dbc:Statically_typed_programming_languages dbr:Gérard_Huet dbr:RISC-V dbr:Symmetric_multiprocessing dbr:C_(programming_language) dbr:Closure_(computer_science) dbr:JavaScript dbc:ML_programming_language_family dbr:Pascal_(programming_language) dbr:Static_program_analysis dbr:Partial_application dbr:Android_(operating_system) dbr:Opa_(programming_language) dbr:Discourse_(software) dbr:Recursion_(computer_science) dbr:Serialization dbr:Hack_(programming_language) dbr:Frama-C dbr:Citrix_Systems dbr:GeneWeb dbr:ML_(programming_language) dbr:Bytecode dbr:Categorical_abstract_machine dbr:Xen dbr:Bytecode_interpreter dbr:Switch_statement dbr:Microsoft_Windows dbr:Cross-platform dbr:Functional_programming dbr:Run-time_type_information dbr:Documentation_generator dbr:IOS dbr:Turnkey dbr:Compiler dbr:Library_(computing) dbr:Structural_subtyping dbr:Jane_Street_Capital dbc:OCaml_programming_language_family dbr:Natural_number dbr:ARM_architecture dbr:OpenGL dbr:Reason_(programming_language) dbr:Web_development dbr:Elm_(programming_language) dbr:Zero_Install dbr:French_Institute_for_Research_in_Computer_Science_and_Automation dbr:Native_code dbr:JoCaml dbr:Syntax_(programming_languages) dbr:University_of_Edinburgh dbr:Structural_typing dbr:Funarg_problem dbr:Imperative_programming dbr:Fibonacci_number dbr:Effect_system dbr:Fold_function dbr:University_of_Oxford dbr:Lexical_analysis dbr:Static_typing dbr:Program_transformation
dbo:wikiPageExternalLink
n21:unison n22:About.html n26: n34: n40:js_of_ocaml n41:dune n41:merlin n41:ocaml-lsp n42:ocamlformat n43: n45: n47:Emily n50: n61: n62:realworldocaml.org n64: n67:ocamlnet.html
owl:sameAs
n5:ഒകാമൽ dbpedia-fi:OCaml dbpedia-uk:Objective_Caml dbpedia-ar:لغة_كامل_الموضوعية dbpedia-ru:OCaml n18:21QkV dbpedia-ka:ობიექტური_კამლი dbpedia-nl:Ocaml dbpedia-de:Objective_CAML dbpedia-simple:OCaml dbpedia-vi:OCaml dbpedia-ca:OCaml dbpedia-no:OCaml dbpedia-az:OCaml dbpedia-el:OCaml dbpedia-zh:OCaml dbpedia-pt:OCaml dbpedia-cs:OCaml n35:7578649-7 freebase:m.09wmx dbpedia-ko:OCaml dbpedia-nn:OCaml yago-res:OCaml dbpedia-fa:اکمل dbpedia-da:OCaml dbpedia-tr:OCaml dbpedia-it:OCaml dbpedia-fr:OCaml wikidata:Q212587 dbpedia-pl:OCaml n57:OCaml dbpedia-he:OCaml dbpedia-gl:Ocaml n63:8149106282068492326 dbpedia-sl:Ocaml dbpedia-ja:OCaml dbpedia-ms:OCaml
dbp:wikibooks
Objective Caml
dbp:wikiPageUsesTemplate
dbt:Respell dbt:Authority_control dbt:Mono dbt:Reflist dbt:Start_date_and_age dbt:Distinguish dbt:Official_website dbt:= dbt:Programming_languages dbt:IPAc-en dbt:Use_dmy_dates dbt:Short_description dbt:Wikidata dbt:Wikibooks dbt:OCaml dbt:Infobox_programming_language dbt:Unreferenced_section
dbo:thumbnail
n13:OCaml_Logo.svg?width=300
dbp:designer
Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez
dbp:developer
dbr:French_Institute_for_Research_in_Computer_Science_and_Automation
dbp:family
dbr:ML_(programming_language)
dbp:influenced
dbr:Elm_(programming_language) dbr:Coq dbr:F_Sharp_(programming_language) dbr:Opa_(programming_language) dbr:ATS_(programming_language) dbr:Haxe dbr:Scala_(programming_language) dbr:Rust_(programming_language) dbr:F*_(programming_language)
dbp:influencedBy
dbr:C_(programming_language) dbr:Caml dbr:Standard_ML dbr:Modula-3 dbr:Pascal_(programming_language)
dbp:license
dbr:GNU_Lesser_General_Public_License
dbp:logo
OCaml Logo.svg
dbp:operatingSystem
dbr:Cross-platform dbr:Unix dbr:Microsoft_Windows dbr:MacOS
dbp:paradigm
dbr:Object-oriented_programming dbr:Imperative_programming dbr:Modular_programming dbr:Functional_programming dbr:Programming_paradigm
dbp:platform
dbr:ARM_architecture dbr:SPARC dbr:X86-64 dbr:Power_ISA dbr:IA-32
dbp:programmingLanguage
OCaml, C
dbp:typing
dbr:Static_typing dbr:Strong_and_weak_typing dbr:Structural_typing dbr:Type_inference
dbo:abstract
OCaml è 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 (OCaml, προφέρεται «Οκάμελ»), ή Αντικειμενοστρεφής Caml, είναι η κύρια υλοποίηση της γλώσσας προγραμματισμού , η οποία δημιουργήθηκε από τον Ξαβιέ Λερουά, τον Ζερόμ Βουιγιόν, τον Νταμιέν Ντολιγιέ, Ντιντιέ Ρεμύ και άλλους, το 1996. Η OCaml είναι λογισμικό ανοικτού κώδικα, η διαχείριση και διατήρηση του οποίου γίνεται κυρίως από το INRIA. Η γλώσσα OCaml επεκτείνει τον πυρήνα της γλώσσας Caml με αντικειμενοστρεφή στοιχεία. Τα εργαλεία προγραμματισμού της OCaml περιλαμβάνουν έναν διαδραστικό (interactive) διερμηνέα, έναν μεταγλωττιστή bytecode και έναν μεταγλωττιστή κώδικα μηχανής. Διαθέτει μεγάλη βιβλιοθήκη που την κάνει χρήσιμη για πολλές από τις ίδιες εφαρμογές όπως η Python ή η Perl, καθώς και ένα εύρωστο σύστημα modules και αντικειμενοστραφείς προγραμματιστικές δομές που την κάνουν χρήσιμη και για μεγάλες εφαρμογές. Η OCaml είναι ο διάδοχος της Caml Light και αποτελεί μέλος της οικογένειας των γλωσσών προγραμματισμού που κατάγονται από την ML. Τα αρχικά CAML αρχικά σήμαιναν Categorical Abstract Machine Language, αν και η OCaml δεν ακολουθεί την ίδια αφαιρετική μηχανή. Η είναι μια διάλεκτος της OCaml (με αρκετές αλλαγές), που εκτελείται στην πλατφόρμα της Microsoft. Objective Caml, também conhecida como OCaml (Objective Categorical Abstract Machine Language), é 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. OCaml (wcześniej 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. OCaml został stworzony przez , Jérôme Vouillon, , Didier Rémy i innych w 1996 roku, kiedy to Caml Light został poszerzony o system obiektów i . OCaml wspiera równie dobrze programowanie funkcyjne, obiektowe, jak i imperatywne. Nadaje się do pisania dużych ze względu na silny , dostępne programowanie obiektowe, szybki natywny kompilator oraz szczególnie dobre wsparcie dla programowania funkcyjnego. Jest wolnym oprogramowaniem tworzonym we francuskim akademickim instytucie badawczym . OCaml wywodzi się z Meta Language, podobnie jak Standard ML. Programy napisane w Ocamlu zajmują czołowe miejsca w . OCaml (Objective Caml) — объектно-ориентированный язык функционального программирования общего назначения. Был разработан с учётом безопасности исполнения и надёжности программ. Поддерживает функциональную, императивную и объектно-ориентированную парадигмы программирования. Самый распространённый в практической работе диалект языка ML. Появился в 1996 году под названием Objective Caml, когда Дидье Реми (Didier Rémy) и Джером Вуйон (Jérôme Vouillon) реализовали поддержку объектно-ориентированного программирования для языка Caml, первоначально разработанного во французском институте INRIA. Официально переименован в OCaml в 2011 году. Инструментарий OCaml включает в себя интерпретатор, компилятор в байткод и оптимизирующий компилятор в машинный код, сравнимый по эффективности с Java и лишь немного уступающий по быстродействию C и C++. На языке OCaml, в частности, написан рендеринг формул Википедии, использующих тег 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, , , 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, l'assistant de preuves formelles Coq ou la version Web de Facebook Messenger. 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. لغة كامل الموضوعية أو الأو كامل هي التطبيق الرئيسي للغة البرمجة كامل والتي كتبها كل من وآخرين عام 1996. وتعمل لغة أو كامل على التوسع في لغة كامل الرئيسية مع مقومات توجهها موضوعي. وتتضمن مجموعة أدوات لغة أو كامل مترجم على أعلى مستوى ومصنف بايت كود ومصنف شفرة أصلية مثالي. كما يضم مكتبة كبيرة قياسية تجعله مفيدا بالنسبة للكثير من التطبيقات الشبيهة كالبايثون أو البريل ويعد أيضا من مقومات البرمجة ذات التوجه الموضوعي والوحدوية بشكل كبير مما يجعله قابل للتطبيق بالنسبة لهندسة البرمجيات بصورة واسعة النطاق. وأو كامل هو البرنامج اللاحق لكامل لايت. وكلمة كامل هي اختصار للمصطلح Categorical Abstract Machine Language أو لغة الآلة المجردة المطلقة بالرغم من أو كامل تتخلى عن هذه الآلة المجردة. كما أنه يتم إدارة مشروع أو كامل عبر مورد مفتوح وحر تحتفظ به شركة إنريا في الأساس. وفي السنوات الأخيرة، اشتقت العديد من اللغات الجديدة بعض عناصرها من الأو كامل وأكثرها شهرة هي #F وسكالا. OCaml (/oʊˈkæməl/ oh-KAM-əl, formerly Objective Caml) is a general-purpose, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features. OCaml was created in 1996 by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, , and others. The OCaml toolchain includes an interactive top-level interpreter, a bytecode compiler, an optimizing native code compiler, a reversible debugger, and a package manager (OPAM). OCaml was initially developed in the context of automated theorem proving, and has an outsize presence in static analysis and formal methods software. Beyond these areas, it has found serious use in systems programming, web development, and financial engineering, among other application domains. The acronym CAML originally stood for Categorical Abstract Machine Language, but OCaml omits this abstract machine. OCaml is a free and open-source software project managed and principally maintained by the French Institute for Research in Computer Science and Automation (Inria). In the early 2000s, elements from OCaml were adopted by many languages, notably F# and Scala. OCaml, anteriorment denominat Objective Caml és un llenguatge de programació de la família ML, extensió i versió actual del llenguatge de programació , 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 . OCaml és un projecte de codi obert impulsat per l'entitat estatal francesa de recerca (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ó ja incorporades a i d'Orientació a objectes, adoptant un enfocament 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 (Objective CAML) is de belangrijkste implementatie van de programmeertaal Caml (Categorical Abstract Machine Language), een dialect van ML, ontwikkeld op het Inria en de École normale supérieure. OCaml (о-ка-ем-ель, англ. Objective Caml) — одна із реалізацій мови програмування Caml. Розширює базові можливості мови Caml об'єктно-орієнтованими можливостями. До набору інструментів OCaml належить інтерактивний інтерпретатор, компілятор в байт-коди, та оптимізувальний компілятор у машинні коди. OCaml має велику стандартну бібліотеку, яка робить його прийнятним для багатьох застосувань, аналогічним застосуванням Python або Perl, та потужні конструкції модульного та об'єктно-орієнтованого програмування, які роблять його прийнятним для розробки великих систем. OCaml є наступником . Скорочення CAML означає Categorical Abstract Machine Language, хоча OCaml не використовує цей абстрактний автомат. OCaml(Objective Caml)은 프로그래밍 언어의 주요 구현체로서 , , , 등의 사람들이 1996년에 작성하였다. OCaml은 에서 주도적으로 관리하고 유지하는 오픈 소스 프로젝트이다. OCaml은 Caml 언어의 핵심 부분에 객체 지향 구조를 추가한 것이다. OCaml의 특징은 정적 타입 시스템, 타입 추론, 파라메트릭 폴리모피즘, 패턴 매칭, 펑터, 예외 처리, 쓰레기 수집 등이다. Ocaml 도구 모음에는 대화식의 톱 레벨(top level) 인터프리터, 바이트코드 컴파일러, 최적화 컴파일러 등이 포함되어 있다. 또한 많은 표준 라이브러리들이 포함되어 있고 탄탄한 모듈 방식 및 대형 소프트웨어에 적용 가능한 객체 지향 프로그래밍 구조 등을 가지고 있어서, 파이썬이나 펄과 같은 언어들로 응용 프로그램을 작성해야 하는 경우에 Ocaml도 충분히 유용하게 사용할 수 있다. Ocaml은 를 계승하였다. CAML은 Categorical Abstract Machine Language의 머리글자이지만, Ocaml은 abstract machine(추상 기계) 기능을 삭제하였다. OCaml(/oʊˈkæməl/ oh-KAM-əl),是一个函数式、指令式、模块化、面向对象的通用的编程语言。在和,于1990年和1991年实现的ML方言Caml Light之上,Didier Rémy和Jérôme Vouillon,于1996年增加了面向对象特征,从而形成了“Objective Caml”,在2011年时重命名为“OCaml”。 OCaml工具链包括交互式顶层解释器、字节码编译器、优化的本机代码编译器,可逆调试器和一个包管理器(OPAM)。OCaml最初开发于自动定理证明的场景中,并在静态分析和形式方法软件中有超凡的存在感。此外,它在系统编程、网页编程和金融工程及其他应用领域都有严肃的应用。 历史上,Ascánder Suárez于1987年基于的(CAM),重新实现了早先的ML方言,并用“范畴抽象机语言”的首字母简写将其命名为Caml,Caml Light放弃了这个抽象机器又进行了重新实现。OCaml是开放源代码项目,此项目的管理和大部分维护工作,已经交由法国国家信息与自动化研究所(INRIA)。在2000年代早期,来自OCaml的元素被很多语言接纳,特别是F#和Scala。 OCaml ist eine auf der ML-Sprachfamilie basierende Programmiersprache. Sie wird am INRIA unter der Leitung von 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. OCaml([oʊˈkæməl] oh-KAM-əl、オーキャムル、オーキャメル)は、フランスの INRIA が開発したプログラミング言語MLの方言とその実装である。MLの各要素に加え、オブジェクト指向的要素の追加が特長である。かつては Objective Caml という名前で、その略として OCaml と広く呼ばれていたが、正式に OCaml に改名された。 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 Pythonu nebo Perlu. Jazyk vytvořili v roce 1996 , Jérôme Vouillon, , Didier Rémy a další jako open source projekt, který je dále spravován institucí .
dbp:fileExt
.ml, .mli
gold:hypernym
dbr:Implementation
dbp:wordnet_type
n8:synset-programming_language-noun-1
prov:wasDerivedFrom
wikipedia-en:OCaml?oldid=1122704570&ns=0
dbo:wikiPageLength
37523
dbo:latestReleaseVersion
dbo:designer
dbr:Ascánder_Suárez dbr:Damien_Doligez dbr:Xavier_Leroy
dbo:developer
dbr:French_Institute_for_Research_in_Computer_Science_and_Automation
dbo:influenced
dbr:ATS_(programming_language) dbr:Coq dbr:Elm_(programming_language) dbr:Scala_(programming_language) dbr:Rust_(programming_language) dbr:F_Sharp_(programming_language) dbr:Haxe dbr:F*_(programming_language) dbr:Opa_(programming_language)
dbo:influencedBy
dbr:Caml dbr:C_(programming_language) dbr:Modula-3 dbr:Standard_ML dbr:Pascal_(programming_language)
dbo:license
dbr:GNU_Lesser_General_Public_License
foaf:isPrimaryTopicOf
wikipedia-en:OCaml