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 in Haskell are nevertheless done improperly, even if they happen to be sound. One reason is that the current formulation is not stable under seemingly mild extensions to H
2625 public repos1128 private repos1178 users without public repos792 users with public repos:thielema (165)pointfree (103)vmchale (66)simon (47)ganesh (42)enum (40)fr33domlover (39)hu.dwim (39)jcast (37)dino (36)dragonmaus (33)tg-z (31)gh (27)dolio (26)stepcut (25)imz (24)alexdarcy (20)byorgey (20)oschwand (19)jeltsch (17)esz (16)ertes (15)ertes-ag (15)wlangstroth (15)nand (14)squirrel (14)ETB (1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く