12 Nov
2014
12 Nov
'14
12:16 a.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.