2013-01-01から1年間の記事一覧
Xming経由でmltermを使っていて、気が付いたら Shift+PageUp でバッファをバックスクロールするのができなくなっていた。mlterm-configでも関連する項目が見当たらないし、しばらく放置してたんだけど、ようやく解を発見。 431 : login:Penguin: sage:201…
Exceptions are shared secrets | Existential Type の内容が興味深かったので試訳してみました。 It's quite obvious to me that the treatment of exceptions in Haskell is wrong. Setting aside the example I gave before of an outright unsoundness, …