技術書典駆動開発にて生成された進捗が本になりました。 本の内容は以下のとおりです。 - @yutopp 自作言語 Rill の実装とあれこれ - @youxkei 抽象解釈による関数型言語の静的解析 - @amutake 静的に型がつく Erlang を目指して https://yutopp.github.io/shinchoku-tairiku-web/01 4/9 技術書典2 う-17 にて配布したものです。