けいぞうのメモ帳

言語設計のお勉強

2016-05-25から1日間の記事一覧

pi calclusを学ぶにあたって参照したドキュメントとその紹介その一

動機 ぼくはgopherなのでgorutine/channelを用いたプログラミングが好きだ。 ついでに非同期、並行プログラミングも好ましいもので、haskellやrustなんかの手法を知ってにやにやしている。 それらにともなって背景とされるhoareのCSPとその拡張のpi calclus…