タグ付けされた質問 「ocaml」

私は常にCであることを聞いた組み込みシステム、または最大速度で実行する必要がある何のために使用する選択した言語。主にポインター演算が好きではなく、言語がアセンブラーの上のラングにすぎないため、私はCが好きではありませんでした。 一方、ML言語は機能的で、ガベージコレクションされた言語であり、OCamlにはオブジェクトモデルさえありますが、Cと同じくらい高速であるという評判があります。ML言語は、高レベルで簡潔なコード、それでも高性能アプリケーションを書くために必要な速度を保持します。 特にOCamlは、組み込みデバイス、グラフィックスドライバー、オペレーティングシステムなど、Cが従来使用されていた場所ならどこでも使用できます。すべての権利により、OCamlは今までに世界を支配していたはずですがそれを使用しました。 これは主観的な質問ですが、なぜOCamlやMLの他の言語はそれほどあいまいなままで、Cや他の言語が普及したのでしょうか？

86 c  ocaml 

HaskellのコンテキストでYコンビネーターを説明するとき、通常、単純な実装は再帰型のためHaskellで型チェックを行わないことに注意されています。 たとえば、Rosettacodeから： The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite recursive type (a = a -> b). Defining a data type (Mu) allows this recursion to be broken. newtype Mu a = Roll { unroll :: Mu a -> a } …

21 haskell  type-systems  static-typing  ocaml 

私はOCamlの完全な初心者です。最近、このページに出会って、 OCamlに対するかなりの批判を挙げました。 ページがかなり古いことを確認します（2007）：そこにリストされている箇条書きのどれが、今日でもまだ真実ですか？たとえば、汎用オブジェクトを印刷することは不可能であることはまだ本当ですか？ 私はそこに表明された意見の議論を探していないことを明確にしたいと思います。整数が警告なしでオーバーフローするという事実など、リストされている情報が、OCamlのより新しいバージョンに対してまだ正しいかどうかを尋ねています。

15 ocaml 

閉まっている。この質問はトピックから外れています。現在、回答を受け付けていません。 この質問を改善してみませんか？ 質問を更新して、ソフトウェアエンジニアリングスタック交換のトピックになるようにします。 4年前休業。 現在、微分方程式の数値システムを解くためにCと一部のFORTRANを使用しています。 私はこれらの両方の言語に少しうんざりしていますが、（かなり）効率的なコードが必要です... OCamlに切り替えることを考えています。 その価値はありますか？

10 language-choice  ocaml  numerical-equations