• 追加された行はこの色です。
• 削除された行はこの色です。
• OCaml学習メモ へ行く。
• OCaml学習メモ の差分を削除

#author("2020-04-02T03:44:08+00:00","default:sagasite","sagasite")
#author("2020-04-02T03:45:34+00:00","default:sagasite","sagasite")
[[OCaml]] ＞ OCaml学習メモ

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

#contents

*仮説 [#j6b2c48d]
*仮説 [#q4fa5be4]

**仮説１　制御 [#d5ae7dd8]
**仮説１　制御 [#y60847f4]
ダイクストラの制御構造は、OCaml（関数型）ではどうやって実現するのか？

| 命令型 | 宣言型（関数型） |h
| 順次 | （関数の）合成 |
| 反復 | 再帰 |
| 分岐 | パターンマッチ |

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

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

*検証 [#tf187a40]
実際に勉強してみて、確認する。