Haskell

特に、実際のHaskellプログラムを作成するために、特に理解する必要がないことを以下に示します。

圏論

ラムダ計算

遅延評価

レンズ

モナド変換器

効果代数

再帰スキーム

型プログラミング

テンプレートHaskell

CoqやAgdaなどの証明言語

-XOverloadedStrings以外の言語拡張機能

本物のHaskellを書くには何が必要ですか？ この言語の中核は非常に単純です。 作成方法と使用方法を理解している場合

純粋な関数と値

パターンマッチング

直和型と直積型

副作用を作るためにIOをつなぐ方法

真面目な？導入事例