俺々言語にだって型推論が欲しい！
https://doujin.kakkun61.com/type-reconstruction
著：kakkun61.icon kakkun61
ラムダ式・真偽値・整数値のある簡素な言語を対象に型推論器を作ってみようという同人誌。
証明とかは抜きにしてとりあえず手を動かしてみようという方針。証明が気になる方は TAPL を読もう。
購入
https://techbookfest.org/product/5189254728646656
https://kakkun61.booth.pm/items/1317485
#本