The Essence of ML Type Inferenceには「MLの型推論アルゴリズムのよくある説明にしたがって実装すると、代入が頻発して遅いけど、この教科書では効率的な実装も説明してやるぜ。愚民ども心して読みやがれ」とは書いてあると思います。その効率的な実装がど…

私は、sshで公開鍵暗号方式を利用する場合には、パスフレーズ無しにしてしまうことが多い。これはパスフレーズを入力するのが面倒くさいからに他ならない。まあ、良い習慣ではないと思う。が、確かにパスフレーズを設定しておくよりも危険だとは思うが、秘密…

gauche.testでいい気がしてきた。

学生：WebサーバでCGI動かしませんか？Wikiとか使えば、講義のWebページの更新とか楽になりますよ 先生：CGI動かすの怖いからダメ。Pukiwikiとか信用ならん。 学生：じゃあ、先生の作ったツールで、検証してバグを取ってから使えばいいじゃないですか 先生：…