Program > OCaml

2018-11-18 (日) 公開
2020-06-19 (金) 更新

OCamlとは?

https://ja.wikipedia.org/wiki/OCaml

OCaml(オーキャムル、オーキャメル)は、フランスの INRIA が開発したプログラミング言語MLの方言とその実装である。
MLの各要素に加え、オブジェクト指向的要素の追加が特長である。
かつては Objective Caml という名前で、その略として OCaml と広く呼ばれていたが、正式に OCaml に改名された。

公式サイト

リファレンス / チュートリアル

PDF(英語)

Tips

  1. OCamlの実行環境
    1. OCamlをVisualStudioCodeで書く
  2. OCaml学習メモ 学ぶ前に仮説を立てて、実際にやってみて検証する方式

OCamlを選ぶ理由

だからOCaml

  1. C系(C++/C#)のポインタ、リファレンスは必要ありません。
  2. 型の無いスクリプト言語で手軽にスマートコントラクトを書いてバグらせたくはない。
  3. Scalaはクラス部分が余分。
  4. 手続き型言語はプログラムの意味解析が人間、機械共に難しい。
  5. Erlangのような並列計算への利便性は必要ない。
  6. Haskellは遅延評価が相性が悪い。
  7. SMLは形式的検証にはIsabelleがあるが、OCaml x Coqと比べると人気ではどうしても劣る。
  8. Rustが提供するポインタ安全性やリソース安全性は純粋関数型スタックVMでの実行モデルにおいては価値がない。

参考書

  プログラミングの基礎 ((Computer Science Library))
浅井 健一
サイエンス社
2007-03-01
¥ 2,484

  プログラミング in OCaml 〜関数型プログラミングの基礎からGUI構築まで〜
五十嵐淳
技術評論社
2014-12-09
Kindle 価格: ¥ 1,512

  プログラミング言語の基礎概念 ((ライブラリ情報学コア・テキスト))
五十嵐 淳
サイエンス社
2011-07-01
¥ 1,998

  OCaml from the Very Beginning (English Edition)
John Whitington
Coherent Press
2013-06-20
Kindle 価格: ¥ 3,152

  Real World OCaml
Yaron Minsky / Anil Madhavapeddy / Jason Hickey
O'Reilly Media
2013-11-25
¥ 4,897

「Real World OCaml」は、Web版が公開されているので無料で読める。



トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2018-11-18 (日) 19:51:19 (742d)