Giving Haskell a PromotionDepartmental Papers (CIS)
Date of this Version1-28-2012
Document TypeConference Paper
AbstractStatic type systems strive to be richly expressive while still being simple enough for programmers to use. We describe an experiment that enriches Haskell’s kind system with two features promoted from its type system: data types and polymorphism. The new system has a very good power-to-weight ratio: it offers a significant improvement in expressiveness, but, by re-using concepts that programmers are already familiar with, the system is easy to understand and implement.
Citation InformationStephanie Weirich, Brent A Yorgey, Julien Cretin, Simon Peyton Jones, et al.. "Giving Haskell a Promotion" (2012)
Available at: http://works.bepress.com/stephanie_weirich/29/