Haskell
特に、実際のHaskellプログラムを作成するために、特に理解する必要がないことを以下に示します。
圏論
ラムダ計算
遅延評価
レンズ
モナド変換器
効果代数
再帰スキーム
型プログラミング
テンプレートHaskell
CoqやAgdaなどの証明言語
-XOverloadedStrings以外の言語拡張機能
本物のHaskellを書くには何が必要ですか? この言語の中核は非常に単純です。 作成方法と使用方法を理解している場合
純粋な関数と値
パターンマッチング
直和型と直積型
副作用を作るためにIOをつなぐ方法
真面目な?導入事例