OCaml ＞ OCaml学習メモ

学ぶ前に仮説を立てて、実際にやってみて検証する方式

仮説 †

仮説１　制御 †

ダイクストラの制御構造は、OCaml（関数型）ではどうやって実現するのか？

仮説２　データ構造 †

関数型で使える／用意されているデータ構造はどうなっているのか？
様々なコレクションやメソッドが予め用意されている？

仮説３　副作用の分離 †

命令型（OOP）では、カプセル化によって副作用を隠蔽できる。
関数型では、副作用の有無を型で分類/分離して管理するのか？（Optional型とか）
（あとで、HaskellとOCamlの流儀の違いを検証してみる。）

検証 †

実際に勉強してみて、確認する。