ML语言
{{Infobox programming language |name = ML |logo = |paradigm = 多范型：函数式，指令式 |year = |designer = 罗宾·米尔纳及爱丁堡大学其他人 |developer = |latest release version = [https://smlfamily.github.io/sml97-defn.pdf Standard ML '97] |latest re…
标签：#ML語言家族
共 6 篇文章
OCaml
OCaml（ ），是一个函数式、指令式、模块化，Didier Rémy和Jérôme Vouillon，于1996年增加了面向对象特征，从而形成了“Objective Caml”，在2011年时重命名为“OCaml”。 OCaml工具链包括交互式顶层解释器、字节码编译器、优化的本机代码编译器，可逆调试器和一个包管理器（OPAM）。OCaml最初开发于自动定理证明的场景中，并在静态分析和形式方法软件中有超凡的存在感。此外，它在系统编程、网…
Caml
Caml（：範疇抽象機語言），是一種函數式、指令式的程式語言。最早由法國的INRIA和ENS联合的Formel项目發展出來，是ML语言的两种方言之一，現在主要由INRIA負責維護與發展。Caml是一种语言规范；它早期有过几个实现，目前除了仍然活跃的OCaml，发布于2002年的Caml Light是Caml的另一个实现。 历史 在1981年，INRIA的，将最初的 ML适配到Multics系统的Maclisp下，并且增加了编译器，它被开…
F♯
F#是由微软发展的为.NET语言提供运行环境的程序设计语言，是函數程式語言（FP，Functional Programming），函數程式語言最重要的基礎是Lambda Calculus。它是基于OCaml的，而OCaml是基于ML函数程式语言。有時F#和OCaml的程式是可以交互編譯的。 F#支援高阶函数、柯里化、惰性求值、续体、模式匹配、闭包、列表推导式和元编程。这是一个用于显示.NET在不同编程语言间互通的程序设计，可以被.NET…
F*
F（读作“F star”）是一个由微软研究院和INRIA主导开发的、基于ML的依赖类型函数式程序语言，主要用于程序的形式化验证。 F的类型系统十分丰富，支持依赖类型、单子化效用（monadic effects）和细化类型（refinement types）。这使其能够准确地用于表述程序的形式化规范，包括功能正确性和安全性。 F的类型检查器通过检查手写的证明和SMT自动求解来确保程序符合规范。 使用F书写的程序可被编译到OCaml、F#或…
Standard ML
Standard ML（SML），是一个函数式、指令式、模块化。它流行于编译器作者和编程语言研究者和自动定理证明研究者之中。 Standard ML是ML的现代方言，ML是用于（可计算函数逻辑）定理证明计划的编程语言。Standard ML在广泛使用的语言之中与众不同，源于它具有正式规定《The Definition of Standard ML》 ，给出了语言的和操作语义。 实现 存在很多SML实现，包括： 标准： Standard …