ヌアン

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

定義が知りたい

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

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

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

これだとおもった

俺は型とかプログラミング言語をやる研究室にいるけど、細かいところは曖昧理解です

ちゃんとした定義を見に行きたいけど文献がないよう

オアーッ！