Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '12, 2012
Static type systems strive to be richly expressive while still being simple enough for programmer... more Static 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.
Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '12, 2012
Static type systems strive to be richly expressive while still being simple enough for programmer... more Static 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.
Uploads
Papers by J. Cretin