どうせ研究室にあるだろうしちら見してみる

SICPで調べたらきしださんの2009年のブログで「今は読む価値なし」というのが出てきた ワロタ

わかんね 今度研究室でプロに聞こ

ヌアン

意外とないよね厳密な定義って UTMの定義とかも意外とふわふわしてて、ハイこれですっていうのを探すのが意外とめんどかった

定義が知りたい

副作用の話ってどの教科書見たら書いてあるんだろ

uchijoは型じゃなくてオートマトンの方をコネコネしてるので、型の気持ちは分かりません

自分が雑魚すぎて悲しくなってきたな

これだとおもった