26-05-12
- プログラミングで圏論を使いたい時の動機は、その形式化か証明支援系を自作するくらいしかない。
- 言語を作ってる時、lispインタプリタ自作して良かったなと思う。
フィードバックループを最速で回せるのでプログラミング言語を実行できる形で理解した方がいい。
近年の流行が速度による情報の圧縮を重視する傾向を考えると、コンパイラが理論値最大の面白い活動なのは言うまでもないだろう。能動的な行動の結果が人の体感として0秒で返り、それを年中無休で場所を問わず繰り返すことができる。何より門番が人ではないことが素晴らしい。