diogocastro.com 記事を読むには以下のextensionの理解が必要。 KindSignatures haskell - Kind Signatures - Stack Overflow ExplicitForAll MagicHash haskell - What are hashes (#) used for in the library's source? - Stack Overflow ConstraintKinds…

ラムダ計算を学ぶときに最初に読んでおくとよいと思った。（というか自分にとっては今が最初だけど） sites.google.com "f(x)"という表記法の欠陥は、高校の数学までではほとんど表面化しませんが、 大学に入ってから定義域や値域が関数の集合になるような …