2013-03-28から1日間の記事一覧
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, …
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, …