gangueの日記: Ocaml 萌え~
日記 by
gangue
ここ数ヶ月 Ocaml にはまっている。 ML の素晴らしさ
は学部生時代に習った時に感じたことではあったが、演習問題解く
のにしか使ってなかった (^^;。そのむかし卒論で苦労して慣れな
い C++ で書いてたプログラムを Ocaml で書いてみたらなんと一週
間もかからずに書けてしまった。実行速度も満足(当時とアルゴリ
ズムがかなり違うので単純にはくらべられないが)。
なにがすばらしいかって、まず型チェックが通れば実行時に
セグフォとかのエラーが出ない!慣れないうちは型があわなくて
苦労もするが、コンパイル通るとスカっとするあの感じはやみつき
になる。
もう型推論や match や GC なしではプログラムできない体に
なってしまいそうだ。というかもう C++ コードは書きたくない...
むかしは ML なんて実用的なソフトには使われているとか思いも
しなかったが、最近ではコンパイラ技術もすすみ、実行速度も C
や C++ にひけをとらなくなってきているらしい。(もちろん最適化
しつくされた C コードに勝つのはまず無理であろうが)
そういえば最近ではこのタレコミの元で活躍してますね。
Ocaml、 とにかくおすすめである。