good reads: Erik Meijer on Functional Programming

[juan_gandhi]

http://queue.acm.org/detail.cfm?id=2611829

Comments

[huzhepidarasa.livejournal.com]

Yes, parameterized by list (set?) of effects that occurred. I think this should be possible in Haskell too, with some existing or plausible extension. Need to think about it.

[pbl.livejournal.com]

DataKinds and friends should be enough methinks, at least for a rough approximation of this. Is type inference for this decidable, though? Type checking should be.