思いつきメモ Bookmarks
ブックマーク
自分も参照できるようにブックマークをまとめます。随時更新。
Haskell関連
- Understanding F-Algebras
- カタモルフィズムについて分かりやすい
- Morte: an intermediate language for super-optimizing functional programs
- CoCで正規化。Literatureのリンクが有益。
- Total Functional Programming
- 構造的帰納法とCovariantな高階函数に制限して⊥の無い型にすれば停止性が保証できるよね、という文献。Codataはこれから読む。
- What I Wish I Knew When Learning Haskell
- Haskellのマニアックな部分も説明している
- Auto as Category, Applicative & Arrow (Intro to Machines/Arrows Part 2)
- A Modern Architecture for FP
- Freeモナドの使い方が比較的分かりやすく記述されている。
- Free ...