OCaml

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

Objective Caml
多范式指令式函数式面向对象
實作者INRIA
1996年1996
穩定版本
4.11.1[1](2020年8月31日,5個月前)
型態系統静态类型推论
作業系統跨平台
許可證GNU宽通用公共许可证
網站
衍生副語言
F♯, JoCaml, MetaOCaml, OcamlP3l
啟發語言
C, Caml, Modula-3, Pascal, Standard ML
影響語言
, ATS, Coq, Elm, F♯, F*, Haxe, Opa, Rust, Scala

参见

  • 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

外部链接

有关书籍

一般用途

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

娱乐

科学

  • Coq页面存档备份,存于 is a proof assistant.
  • Orpie - a fullscreen RPN calculator for the console. Its operation is similar to that of modern HP calculators.
  • FFTW页面存档备份,存于 - C FFT library, most of whose performance-critical code is generated by a program written in OCaml.

外部連結

  1. . 2020年8月31日 [2020年12月24日].
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.