OCaml 编辑
OCaml，是一个函数式编程、指令式编程、模块化编程、面向对象程序设计的通用编程语言的编程语言。在Xavier Leroy和Damien Doligez，于1990年和1991年实现的ML语言方言Caml之上，Didier Rémy和Jérôme Vouillon，于1996年增加了面向对象编程特征，从而形成了“Objective Caml”，在2011年时重命名为“OCaml”。
9
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
Thrift是一种接口描述语言和二进制通讯协议，它被用来定义和创建跨语言的服务。它被当作一个远程过程调用框架来使用，是由Facebook为“大规模跨语言服务开发”而开发的。它通过一个代码生成引擎联合了一个软件栈，来创建不同程度的、无缝的跨平台高效服务，可以使用C♯、C++、Cappuccino、Cocoa、Delphi、Erlang、Go、Haskell、Java、Node.js、OCaml、Perl、PHP、Python、Ruby和Smalltalk。虽然它以前是由Facebook开发的，但它现在是Apache软件基金会的开源项目了。该实现被描述在2007年4月的一篇由Facebook发表的技术论文中，该论文现由Apache掌管。
GNU多重精度运算库是一个开源的任意精度运算库，支持正负数的整数、有理数、浮点数。它没有任何精度限制，只受限于可用内存。GMP有很多函数，它们都有一个规则的接口。它是C语言写成的，但用为其他很多语言做包装，包括Ada，C++，C♯，OCaml，Perl，PHP，Python 和 R。GMP主要运用于加密应用和研究、互联网安全应用、计算机代数系统和计算代数研究。GMP的目标是成为最快的大数运算库，GMP是GNU项目的一部分，它在GNU宽通用公共许可证下发表。GMP在许多计算机辅助代数系统中用于整数运算，如Mathematica和Maple。GMP需要使用GCC编译。
MLDonkey是一个自由开源的多协议P2P应用程序。起初它只是一个Linux下的EDonkey网络客户端，现在它支持多种点对点协议，并能在在各种不同风格的类Unix系统、Mac OS X、Microsoft Windows以及MorphOS下运行。它使用OCaml语言编写，同时有些部分使用了一些C语言以及汇编语言的代码，从而保证了它的高效能。
简单包装界面产生器是一个开源软件工具，用来将C语言或C++写的计算机程序或函式库，连接脚本语言，例如Lua, Perl, PHP, Python, R语言, Ruby, Tcl, 和其它语言，例如C, Java, JavaScript, Go, D语言, OCaml, GNU Octave, Scilab以及Scheme. 也可以输出成XML格式。
F#是由微软发展的为.NET语言提供运行环境的程序设计语言，是函数程式语言，函数程式语言最重要的基础是Λ演算。它是基于OCaml的，而OCaml是基于ML语言函数程式语言。有时F#和OCaml的程式是可以交互编译的。
F#是由微软发展的为.NET语言提供运行环境的程序设计语言，是函数程式语言，函数程式语言最重要的基础是Λ演算。它是基于OCaml的，而OCaml是基于ML语言函数程式语言。有时F#和OCaml的程式是可以交互编译的。
在程序设计，append是一些高级语言中用于连接链表或数组的操作。继LISP之后，其他以链表作为原始数据结构的高级语言也都采用了append。Haskell则使用++操作符来附加列表。OCaml使用@操作符来附加列表。
Thrift是一种接口描述语言和二进制通讯协议，它被用来定义和创建跨语言的服务。它被当作一个远程过程调用框架来使用，是由Facebook为“大规模跨语言服务开发”而开发的。它通过一个代码生成引擎联合了一个软件栈，来创建不同程度的、无缝的跨平台高效服务，可以使用C♯、C++、Cappuccino、Cocoa、Delphi、Erlang、Go、Haskell、Java、Node.js、OCaml、Perl、PHP、Python、Ruby和Smalltalk。虽然它以前是由Facebook开发的，但它现在是Apache软件基金会的开源项目了。该实现被描述在2007年4月的一篇由Facebook发表的技术论文中，该论文现由Apache掌管。