26-05-12
- プログラミングで圏論を使いたい時の動機は、型検査とか証明支援系を自作するくらいしかないよな。
- 言語を作ってる時、lispインタプリタ自作して良かったなと思う。
フィードバックループを最速で回せるので言語を実行できる形で理解した方がいい。
近年のエンタメが速度を重視する傾向を考えると、コンパイラがが一番面白いのが言うまでもないだろう。能動的な行動の結果が人の体感として0秒で返ることは理論値最大だ。
?26-05-13 | 26-05-11
/
/
フィードバックループを最速で回せるので言語を実行できる形で理解した方がいい。
近年のエンタメが速度を重視する傾向を考えると、コンパイラがが一番面白いのが言うまでもないだろう。能動的な行動の結果が人の体感として0秒で返ることは理論値最大だ。
?26-05-13 | 26-05-11