OCaml > OCaml学習メモ

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

仮説

仮説1 制御

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

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

仮説2 データ構造

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

仮説3 副作用の分離

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

検証

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


トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2020-04-02 (木) 12:39:21 (1430d)