- 追加された行はこの色です。
- 削除された行はこの色です。
#author("2020-04-02T03:39:20+00:00","default:sagasite","sagasite") [[OCaml]] #author("2020-04-02T03:45:34+00:00","default:sagasite","sagasite") [[OCaml]] > OCaml学習メモ 学ぶ前に仮説を立てて、実際にやってみて検証する方式 #contents *OCaml学習メモ [#o0e6e630] 学ぶ前に仮説を立てて、実際にやってみて検証する方式 *仮説 [#q4fa5be4] *仮説1 制御 [#d5ae7dd8] ダイクストラの制御構造 **仮説1 制御 [#y60847f4] ダイクストラの制御構造は、OCaml(関数型)ではどうやって実現するのか? | 命令型 | 宣言型(関数型) |h | 順次 | (関数の)合成 | | 反復 | 再帰 | | 分岐 | パターンマッチ | **仮説2 データ構造 [#y59eccd3] 関数型で使える/用意されているデータ構造はどうなっているのか? 様々なコレクションやメソッドが予め用意されている? **仮説3 副作用の分離 [#rccb2a05] 命令型(OOP)では、カプセル化によって副作用を隠蔽できる。 関数型では、副作用の有無を型で分類/分離して管理するのか?(Optional型とか) (あとで、HaskellとOCamlの流儀の違いを検証してみる。) *検証 [#tf187a40] 実際に勉強してみて、確認する。