就目前而言,这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持,但这个问题可能会引起辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开,visit the help center为指导。
10年前关闭。
锁定。这个问题及其答案是locked因为这个问题是题外话,但具有历史意义。它目前不接受新的答案或互动。
我想知道我是否应该继续学习 OCaml 或切换到 F# 或 Haskell。
以下是我最感兴趣的标准:
请用合乎逻辑的论据和文章中的引文来支持您的观点。谢谢你。
最佳答案
Longevity
Practicality
A hash table is the best structure for fast retrieval. Haskell proponents in there suggest using Data.Map which is a binary tree.
这取决于您要搜索的内容。当您的键是字符串时,ternary search trees通常比哈希表更快。当您的键是整数时,Okasaki 和 Gill 的 binary Patricia trees与哈希竞争。如果你真的想要,你可以使用 IO monad 在 Haskell 中构建一个哈希表,但很少需要。
我认为懒惰评估总会有性能损失。但“实用”不等于“尽可能快”。以下关于性能的说法是正确的:最容易预测 Caml 程序的时间和空间行为。 F# 处于中间位置(谁真正知道 .NET 和 JIT 会做什么?)。 最难预测 Haskell 程序的时间和空间行为。 Haskell 拥有最好的分析工具,从长远来看,这是产生最佳性能的原因。
I want to be able to develop more than just parsers and math programs.
有关 Haskell 中可能的范围的想法,请查看 xmonad窗口管理器和 vast array ofpackages在hackage.haskell.org
.
I don't like being tied to a bulky .NET framework unless the benefits are large.
我无法评论:
Well Designed
I like my languages to be consistent.
评估一致性的一些要点:Haskell 的具体语法设计得非常好;我一直对 Haskell 委员会所做的出色工作印象深刻。 OCaml 语法是可以的,但相比之下却受到了影响。 F# 从 Caml 核心语法开始,有很多相似之处。 Haskell 和 OCaml 都有关于运算符重载的非常一致的故事。 Haskell 有一个一致且强大的机制,你可以自己扩展。 OCaml 没有任何类型的重载。 OCaml 拥有最简单的类型系统,特别是如果您不编写对象和仿函数(许多 Caml 程序员不会这样做,尽管如果您正在编写 ML,不编写仿函数对我来说似乎很疯狂)。 Haskell 的类型系统雄心勃勃且功能强大,但它正在不断改进,这意味着由于历史原因存在一些不一致。 F# 本质上使用 .NET 类型系统,加上类似 ML 的 Hindley-Milner 多态性(参见问题 "What is Hindley-Milner"。) OCaml 在认为变体应该是静态类型还是动态类型方面不太一致,因此它同时提供了(“代数数据类型”和“多态变体”)。由此产生的语言具有很强的表达能力,这对专家来说非常有用,但是对于业余爱好者来说,使用哪种结构并不总是很明显。 OCaml 的求值顺序是官方未定义的,在具有副作用的语言中这是一个糟糕的设计选择。更糟糕的是,实现不一致:字节码虚拟机使用一种顺序,而 native 代码编译器使用另一种顺序。
关于haskell - 如果我已经知道 OCaml,我应该学习 Haskell 还是 F#?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/822752/