OCaml学習メモ
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
[[OCaml]] ＞ OCaml学習メモ
学ぶ前に仮説を立てて、実際にやってみて検証する方式
#contents
*仮説 [#q4fa5be4]
**仮説１ 制御 [#y60847f4]
ダイクストラの制御構造は、OCaml（関数型）ではどうやって実...
| 命令型 | 宣言型（関数型） |h
| 順次 | （関数の）合成 |
| 反復 | 再帰 |
| 分岐 | パターンマッチ |
**仮説２ データ構造 [#y59eccd3]
関数型で使える／用意されているデータ構造はどうなっている...
様々なコレクションやメソッドが予め用意されている？
**仮説３ 副作用の分離 [#rccb2a05]
命令型（OOP）では、カプセル化によって副作用を隠蔽できる。
関数型では、副作用の有無を型で分類/分離して管理するのか？...
（あとで、HaskellとOCamlの流儀の違いを検証してみる。）
*検証 [#tf187a40]
実際に勉強してみて、確認する。
終了行:
[[OCaml]] ＞ OCaml学習メモ
学ぶ前に仮説を立てて、実際にやってみて検証する方式
#contents
*仮説 [#q4fa5be4]
**仮説１ 制御 [#y60847f4]
ダイクストラの制御構造は、OCaml（関数型）ではどうやって実...
| 命令型 | 宣言型（関数型） |h
| 順次 | （関数の）合成 |
| 反復 | 再帰 |
| 分岐 | パターンマッチ |
**仮説２ データ構造 [#y59eccd3]
関数型で使える／用意されているデータ構造はどうなっている...
様々なコレクションやメソッドが予め用意されている？
**仮説３ 副作用の分離 [#rccb2a05]
命令型（OOP）では、カプセル化によって副作用を隠蔽できる。
関数型では、副作用の有無を型で分類/分離して管理するのか？...
（あとで、HaskellとOCamlの流儀の違いを検証してみる。）
*検証 [#tf187a40]
実際に勉強してみて、確認する。
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
