ML的方言很多，其中SML和OCaml是最流行的方言。SML和OCaml有许多不同之处，但它们都被认为是ML的方言。所以,
我猜ML是SML和OCaml的一些交集，但是我找不到一些详细的定义。
浏览 3提问于2013-07-25得票数 15
回答已采纳
我的问题是，Standard ML的模块系统和OCaml模块系统有什么不同？是否拥有OCaml所有函数器、属性等的支持。SML有吗？
浏览 0提问于2013-03-23得票数 42
回答已采纳
我很好奇这件事的历史。我假设switch会吸引C/C++/Java/etc程序员，因此是一个自然的选择。如果想避免语义上的混淆(因为match比switch更强大)，我想人们会从Haskell那里借用case。
浏览 4提问于2016-10-23得票数 17
回答已采纳
我很难在Emacs中找到sml-mode来正确地缩进我的代码。例如，这里有一个街区，它的行为特别奇怪： = Param of TyParam.t我看过，但是解决方案不适用，因为这是M-C-\给我的行为，如果不能够自动缩进整个文件，那么在代码上工作将是一件非常痛苦的事情。有什么简单的办法吗？是否有替代的sml-
浏览 2提问于2014-06-02得票数 1
回答已采纳
在ocaml，这是可行的：val a : 'a list -> 'a -> 'a list = <fun>- : int list =[1; 2]- fun a(b,c)=b@[c];;- a [1] 2;;
stdIn:4.1operand: &#x
浏览 0提问于2021-10-22得票数 1
回答已采纳
1回答
Ground = Int type SecondOrder c = c Int -- ML do not allow :c
标
浏览 5提问于2019-11-10得票数 3
回答已采纳
我读了一些关于Standard中的值限制的文章，并尝试将这个示例翻译到OCaml，看看它会做什么。看起来，OCaml在SML由于值限制而拒绝程序的上下文中生成这些类型。下面是SML中一个被拒绝的程序的示例：val r1: string option ref = r如果将第一行逐字输入到新泽西州的SML中，则会得到以下错误：
- val r: 'a option ref = r
浏览 7提问于2016-07-05得票数 11
回答已采纳
1回答
C++11对高阶列表函数的支持
、、、、
大多数函数式编程语言(例如通用Lisp、Scheme / Racket、Clojure、Haskell、Scala、Ocaml、SML)支持列表上的一些常见的高阶函数，如map、filter、takeWhile、dropWhile、foldl、foldr (例如方案/球拍，Clojure并排参考表，普通Lisp、哈斯克尔、Scala、OCaml和SML文档)。C++11在列表上是否有等效的标准方法或函数？
浏览 0提问于2012-10-18得票数 13
回答已采纳
有没有人有实现查找循环的源代码，最好是用现代静态类型的语言，比如SML，OCaml，Haskell，F#，Scala？
浏览 0提问于2011-03-24得票数 3
1回答
严格语言中的MonadFix
、、、、
我正在为Ocaml中类似haskell的do符号开发camlp4扩展，并试图弄清楚GHC是如何编译递归do绑定的(通过-XDoRec实现的)。我想知道是否有可能在严格的语言(如Ocaml/F#/SML/...)中存在一元定点组合器？
如果是，它看起来是什么样子的？它会非常有用吗？
浏览 8提问于2013-03-22得票数 10
1回答
假设您正在用OCaml/F#/SML/Haskell编写一个应用程序，并希望将数据持久化到关系数据库中。将产品类型(记录和元组)映射到关系很容易，但是如何将变量类型映射到关系呢？(* OCaml *) | Foo | Baz of int * int * int
浏览 3提问于2015-10-19得票数 11
3回答
在研究F#和OCaml之间的差异时，我发现他们倾向于关注和 。然后我发现了，它将类型和类型推断列为不同的特征。由于特写文章说OCaml和F#都使用类型推断，我认为这是一个标准算法，即一个不允许变化的算法，这两个特徵是如何联系的？我还检查了F#源代码中的单词Damas，Milner和Hindley，但没有找到。搜索inference一词可以找到类型推断的代码。如果是这样，是否有任何论文讨论了特定语言的每种类型推断算法的细节，或者我是否必须查看和<
浏览 0提问于2012-09-10得票数 8
回答已采纳
1回答
我有一个简单的函数：但我一直得到的错误是：
Error: This expression另外，我只是简化了函数，因为在我实际的ocaml代码中，问题可以归结为以下内容。我不确定这是否与currying有关，但有人能解释一下为什么会发生这种情况吗？
浏览 3提问于2014-01-20得票数 6
1回答
通过阅读Haskell的类型和类型(如这)的指南，我不知道为什么它们需要一种函数式语言，而且，它们似乎非常适合于一种工业级别的面向对象的语言(比如Java)。
浏览 0提问于2014-06-10得票数 6
回答已采纳
3回答
在使用SML/NJ时，我习惯了输入和输出都使用元组类型：('a * 'b) -> ('c * 'd)，因此使用元组来表示多个输入似乎与我表示多个输出的方式是对称的。为什么推荐对元组参数进行OCaml函数声明？这仅仅是允许运行/部分计算带来的更大的灵活性，还是从OCaml编译器的实现细节中得到了其他好处？
浏览 0提问于2012-05-19得票数 12
回答已采纳
1回答
我试着翻译这段OCaml代码 | Var of string | And of bool_expr *eval vars e2在这一行中，我发现了关于vars的错误：‘vars =’‘，我不知道在SML
浏览 1提问于2020-10-20得票数 0
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
