F#改为OCaml

F#是从OCaml派生的,但是哪些主要项目缺失或添加? 具体来说,我很好奇,可用于学习OCaml的资源是否对想要学习F#的人也有用。

5 Solutions collect form web for “F#改为OCaml”

主要的区别是F#不支持:

  • 函子
  • OCaml样式的对象
  • 多态变体
  • camlp4预处理器

另外,F#对标记和可选参数有不同的语法。

从理论上讲,不使用这些特性的OCaml程序可以用F#编译。 学习OCaml是对F#的一个完全合理的介绍(反之亦然,我想象)。

完整的差异列表在这里 (注意:archive.orgreplace死链接)。

这个问题已经被回答了一段时间了,但是我很惊讶,大部分的答案都说明了OCaml在F#中缺less的function – 如果你想将现有的OCaml程序移植到F#(这可能是大多数参考文章的动机)。 但是,有许多function使得F#成为一种不同的语言(不仅限于.NET的OCaml的有限版本!)以下是F#中添加的一些内容:

  • 测量单位允许您键入检查处理数字计算的代码
  • 使用引号进行元编程 (这使得在F#中使用LINQ成为可能,并且对于像WebSharper平台这样的promissing项目也是必不可less的)
  • 用于为function数据types创build抽象的活动模式 (对于更复杂的模式匹配应用程序通常非常有用)
  • 计算expression式asynchronous工作stream (一个用于asynchronousI / O / Web服务/ GUI编程的库)的语言特性,
  • .NET兼容的对象系统 ,使得与.NET平台完全互操作成为可能(OCaml也支持对象但不同 – 当然这两个系统都有一些好处)。
  • 重载操作符 – 据我所知,OCaml没有重载操作符 – 在F#中,可以使用+来表示所有的数字types以及支持它的types。

而且,说实话,我认为还值得一提的是Visual Studio IDE。 这不是语言的一部分,但它确实改善了用户体验(Visual Studio中的IntelliSense支持非常好!)

如果你看清楚这个列表,那么很多事情在很大程度上促成了F#的普及,所以它不仅仅是“没有函子的OCaml”。 F#肯定是基于OCaml的(并且从Haskell等其他语言中获得了一些想法),并且与他们共享许多方面,但是还有很多其他的东西。 我猜,如果没有asynchronous工作stream,.NET风格的OO和元编程之类的东西,微软开发者部门将永远不会在Visual Studio 2010中包含F#。

我总是将F#描述为OCaml的表亲,因为OCaml有很多F#没有的function,也永远不可能得到。 F#与以前的CAML语言关系更密切。 特别是,F#对抽象的支持非常有限,并且根本不支持结构types(如OCaml的对象和多态variables )。

与一些响应者所写的相反,F#对标记(“命名”)和可选参数具有(有限的)支持。

但是,这些都是高级function,您肯定可以开始掌握使用关于OCaml的资源的小型OCaml风格函数式编程背后的基本思想。 你会发现的第一个主要区别是在OCaml和F#中以完全不同的方式解决了封装和抽象等大规模问题。 如果你想学习如何在F#中做到这一点,唯一可用的文献是关于纯function数据结构的文章 。

我还发现,OCaml的精彩模块系统可以很容易地将代码参数化为types(比如数据结构),但是面向对象的select不仅在.NET上可怕,而且几乎完全没有使用。 而且,当试图编写优雅的参数化数据结构时,我碰到了F#编译器中的几十个错误,因为之前没有人试图这样做。 F#stdlib确实包含了一些很好的数据结构实现,但实际上没有重用,也就是说,它是一个“干净的”工作。

F#和OCaml在ML族语言中是分类学的类别,其中也包括其他怪异动物的整个密码。 F#比OCaml更新,它没有functor [模块 – >模块的function]或行types[对象类和多态variables]。 在他们之间,这两个简化可能使得在.Net平台上开发人员的学习曲线更容易。 不幸的是,这两种语言特性在OCaml中非常强大,因此阅读OCaml文献以获得有关如何编写F#的见解可能会导致对后者过早的挫败,因为它可能是C#的一个很好的替代scheme。

F#直接支持OCaml语法。 它可能不是100%兼容,但我认为它非常接近。

http://plus.kaist.ac.kr/~shoh/fsharp/html/index.html

这是一个不同的列表(不知道它是如何最新的)

http://plus.kaist.ac.kr/~shoh/fsharp/html/fsharp-vs-ocaml.html

  • 什么是更高性能? Haskell或OCaml
  • 纯function数据结构的好处是什么?
  • 使用正则expression式来validation数字范围
  • 机器学习OCaml或Haskell?
  • 为什么OCaml中的int只有31位?
  • 在纯函数式语言中,是否有algorithm来获得反函数?
  • OCaml的并行化能力是怎样的?
  • 不纯的function语言OCaml的“let rec”的原因是什么?
  • OCaml:在另一个expression式中匹配expression式?
  • 为什么用函数式语言编写一个编译器更简单?
  • Haskell,Scala,Clojure,高性能模式匹配和并发性select