OCaml - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for OCaml.

OCaml

维基百科,自由的百科全书

OCaml
编程范型多范式指令式函数式面向对象
实现者INRIA
发行时间1996年,​25年前​(1996
稳定版本
4.12.0在维基数据编辑(2021年2月24日,3个月前)
类型系统静态类型推论
操作系统跨平台
许可证GNU宽通用公共许可证
网站ocaml.org 编辑维基数据链接
派生副语言
F♯, JoCaml, MetaOCaml, OcamlP3l
启发语言
C, Caml, Modula-3, Pascal, Standard ML
影响语言
, ATS, Coq, Elm, F♯, F*, Haxe, Opa, Rust, Scala

OCaml,最早称为Objective Caml,是Caml编程语言的主要实现,由Xavier Leroy,Jérôme Vouillon,Damien Doligez,Didier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA

参见

  • Categorical Abstract Machine Language,the language that preceeded OCaml
  • Standard ML,a related language
  • F Sharp,Microsoft .NET平台上 OCaml 风格的语言
  • OCamIL页面存档备份,存于互联网档案馆),Microsoft .NET平台上的OCaml编译器
  • Extensible ML,另一种有面向对象扩展的ML
  • O'Haskell带有面向对象扩展的Haskell

外部链接

有关书籍

用OCaml写成的程序

一般用途

  • MLDonkey - a multi-network P2P program
  • Unison - a file synchronizer

教育

工程

  • Confluence页面存档备份,存于互联网档案馆) is a language for synchronous reactive system design. A Confluence program can generate digital logic for an FPGA or ASIC platform, or C code for hard real-time software.

娱乐

科学

外部链接

{{bottomLinkPreText}} {{bottomLinkText}}
OCaml
Listen to this article