good reads: Erik Meijer on Functional Programming

[juan_gandhi]

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

Comments

[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.