Giving Haskell a promotion | Zendy

Brent A. Yorgey | Zendy; Stephanie Weirich | Zendy; Julien Cretin | Zendy; Simon Peyton Jones | Zendy; Dimitrios Vytiniotis | Zendy; José Pedro Magalhães | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Giving Haskell a promotion

Author(s) -

Brent A. Yorgey,

Stephanie Weirich,

Julien Cretin,

Simon Peyton Jones,

Dimitrios Vytiniotis,

José Pedro Magalhães

Publication year - 2012

Publication title -

scholarlycommons (university of pennsylvania)

Language(s) - English

Resource type - Conference proceedings

DOI - 10.1145/2103786.2103795

Subject(s) - haskell , computer science , expressive power , programming language , functional programming , simple (philosophy) , philosophy , epistemology

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research