PoPLの論文(Intrinsically-Typed Definitional Interpreters for Imperative Languages)についての輪講で、発表の際に使用したスライドの供養(ブログ用に多少修正は加えている) ソースコードはこれ github.com Agdaを知らなくても、Haskellの入門程度の知識…

PythonアンチたるものPythonのいいところも認識した上で批判すべきだろう。しかしいいところなんてそんなに思いつくものじゃないから一瞬で参照できるようここにメモしておく。 すごいライブラリがいっぱいある 軽めのプログラムならササッと書ける (これし…