11 Nov
2014
11 Nov
'14
7:16 p.m.
Wouldn't it be nice if Haskell had a type system that could express concepts like uninterruptibility? In the mean time, I withdraw my endorsement of the proposal *solely* on the basis that I realize I don't understand the issues well enough.