アカウント名:
パスワード:
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
ハッカーとクラッカーの違い。大してないと思います -- あるアレゲ
Re:ML (OCaml) (スコア:0)
OCaml の特徴は ML ファミリーの中でもっとも「実用的」ということだろうか。
* ML 一般にも言えること:型推論、(式の)パターンマッチ、ガベコレなどがある。
型チェックが通れば実行時にバグることがほとんどない
(アルゴリズムが間違っている場合はもちろん別だが)。
手続き型言語に比べてソースコードの長さが極めて短くなる。
* バグがでにくいのと、インタプリターがあるのとで、開発速度がとにかく速い。
* native code compiler もあり、かなり優秀。gcc と比べて若干遅い程度。(勝つ場合もある)
参照
マイナーな言語なのでライブラリが心配されるところだが、標準ライブラリもそれなりに充実しているので
大抵のことはできる。(標準ではついてこないがいろんなライブラリも色んな人達が作ってくれている: Pcre, gtk, MPI, etc.)
# まあライブラリに対する不満は無きにしも非ずだが...(統一感が無い点とか (^^;)
C とのやりとりが簡単 (camlidl というツールを使うと) なので、必要な機能が無い場合は C を呼び出してやれば良い。
面白さは人それぞれでしょうが、私は型チェックが通って実行してみた時の「このプログラムは自分が
意図した通りに正しく動いてるんだ」という「安心感」が快感。
欠点: ハマると C, C++ などでプログラムしたくなくなる :-P