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