F# から OCaml への変更 [closed] 質問する

この質問には以前から回答が出ていますが、ほとんどの回答で F# に欠けている OCaml の機能が述べられていることに驚きました。これは、既存の OCaml プログラムを F# に移植する場合に間違いなく役立つ情報です (おそらく、参照されている記事のほとんどの目的はこれです)。ただし、F# を別の言語にする機能も多数あります (.NET 用の OCaml の限定バージョンだけではありません)。F# で追加された機能をいくつか紹介します。

• 測定の単位数値計算を扱うコードの型チェックを可能にする
• メタプログラミング引用符の使用（これにより、F# で LINQ を使用できるようになります。また、WebSharper プラットフォームのような有望なプロジェクトにも不可欠です）
• アクティブパターン関数データ型の抽象化を作成するため（そして一般的に、より複雑なパターンマッチングアプリケーションに非常に役立つ機能）
• 計算式これは言語の特徴である非同期ワークフロー(非同期 I/O/Web サービス/GUI プログラミング用のライブラリ)
• .NET互換オブジェクトシステムこれにより、.NET プラットフォームとの完全な相互運用が可能になります (OCaml もオブジェクトをサポートしていますが、異なります。もちろん、両方のシステムにはいくつかの利点があります)。
• オーバーロードされた演算子- 私の知る限り、OCaml にはオーバーロードされた演算子はありません。F# では、+すべての数値型とそれをサポートする型に使用できます。

そして、正直なところ、Visual Studio IDE についても言及する価値があると思います。これは言語の一部ではありませんが、ユーザー エクスペリエンスを大幅に向上させます (Visual Studio の IntelliSense サポートは本当に優れています)。

リストを見ると、F# の人気に大きく貢献したものが多数あることがわかります。つまり、F# は単なる「関数のない OCaml」以上のものです。F# は間違いなく OCaml に基づいており (Haskell などの他の言語からアイデアを取り入れています)、多くの側面を OCaml と共有していますが、他にも多くのものがあります。非同期ワークフロー、.NET スタイルの OO、メタプログラミングなどがなければ、Microsoft 開発部門が Visual Studio 2010 に F# を組み込むことは決してなかったでしょう。