欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OCaml
来自开放百科 - 灰狐
(版本间的差异)
小 |
(→Links) |
||
第12行: | 第12行: | ||
{{comment}} | {{comment}} | ||
− | [[ | + | [[category:programming language]] |
+ | [[category:functional programming]] |
2015年8月24日 (一) 05:34的版本
您可以在Wikipedia上了解到此条目的英文信息 OCaml Thanks, Wikipedia. |
OCaml is a language of the ML family that inherits a lot from several decades of research in type theory, language design, and implementation of functional languages. Moreover, the language is quite mature, its compiler produces efficient code and comes with a large set of general purpose as well as domain-specific libraries. Thus, OCaml is well-suited for teaching and academic projects, and is simultaneously used in the industry, in particular in several high-tech software companies.
微软函数式语言F#基于OCaml构建
Links
<discussion>characters_max=300</discussion>
分享您的观点