パスワードを忘れた? アカウント作成
747095 journal

gangueの日記: Ocaml 萌え~

日記 by gangue

ここ数ヶ月 Ocaml にはまっている。 ML の素晴らしさ
は学部生時代に習った時に感じたことではあったが、演習問題解く
のにしか使ってなかった (^^;。そのむかし卒論で苦労して慣れな
い C++ で書いてたプログラムを Ocaml で書いてみたらなんと一週
間もかからずに書けてしまった。実行速度も満足(当時とアルゴリ
ズムがかなり違うので単純にはくらべられないが)。

なにがすばらしいかって、まず型チェックが通れば実行時に
セグフォとかのエラーが出ない!慣れないうちは型があわなくて
苦労もするが、コンパイル通るとスカっとするあの感じはやみつき
になる。

もう型推論や match や GC なしではプログラムできない体に
なってしまいそうだ。というかもう C++ コードは書きたくない...

むかしは ML なんて実用的なソフトには使われているとか思いも
しなかったが、最近ではコンパイラ技術もすすみ、実行速度も C
や C++ にひけをとらなくなってきているらしい。(もちろん最適化
しつくされた C コードに勝つのはまず無理であろうが)

そういえば最近ではこのタレコミの元で活躍してますね。

Ocaml、 とにかくおすすめである。

typodupeerror

アレゲはアレゲを呼ぶ -- ある傍観者

読み込み中...