haskell-jp / beginners #19 at 2022-01-09 20:59:06 +0900

Haskellの型検査の仕組みについて勉強したいのですが、何か参考になる文献はありますか？

"Typing Haskell in Haskell"という論文があります。HaskellのコードでHaskellの型検査を実装する話になっていて、読みやすいと思います。

すみません、返信が遅れました。
ありがとうございます。読んでみます。