
https://pawoo.net/@kakkun61
@kakkun61
Followers
1K
Following
132K
Media
6K
Statuses
206K
Activity Pub にいます https://t.co/hITQaAhJ1q
Joined October 2007
RT @shumidebug: 📣『俺々言語にだって型推論が欲しい!』も印刷版が買えるようになりました! #Haskell #型推論 #同人誌 #技術書典
kakkun61.booth.pm
型推論器を自作することでそのしくみを理解しようという書籍です。 シンプルな言語を定義し、それに対して型推論する方法を紹介しています。 前半3分の2は理論の説明で、後半3分の1は実装の解説です。 実装には Haskell を用いていますが、理論の説明を読んで各々好きな言語で実装すればよいです。
0
1
0
RT @shumidebug: あの『モナドドリル』が、ウェブでも印刷版を買えるようになりました! 注文されたら @kakkun61 がちまちま梱包して郵送に出します! 他の同人誌も1週間をめどに追加予定です #booth_pm….
kakkun61.booth.pm
モナドの読解力と利用力がつく! 印刷版には PDF が付属します。
0
5
0