• ダウンロード商品
    ¥ 300

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

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