2017年10月分の技術書典駆動開発にて生成された進捗をまとめた本です。
内容
@yutopp
自作言語RillとWebAssembly
LLVMを使ったWASMサポートとランタイム移植の話
@youxkei
再帰を持つ関数型言語の符号解析
抽象解釈を使って関数型言語の符号を解析するpart2
@amutake
証明付き分散システムを作ろう!
Coqの分散システム実装フレームワークVerdiの紹介
https://yutopp.github.io/shinchoku-tairiku-web/02