BT

Facilitating the spread of knowledge and innovation in professional software development

Contribute

Topics

Choose your language

InfoQ Homepage Presentations From Haskell 98 to Modern Haskell–Making Sense of the Haskell Type System

From Haskell 98 to Modern Haskell–Making Sense of the Haskell Type System

Bookmarks
48:05

Summary

Ryan Lemmer takes a look at Haskell’s type system, including extensions: GADTs, multi-param type-classes, functional dependencies, type functions, kind polymorphism, type promotion, etc.

Bio

Ryan Lemmer is a Cape Town based software maker, coach and advisor. He supports individuals and teams to manage the evolution and complexity of their software. He loves learning and facilitating learning in others.

About the conference

Functional Conf is a hardcore tech conference aimed at bringing together top-notch developers and thinkers, to build tomorrow's technology using Functional Programming concepts.

We need your feedback

How might we improve InfoQ for you

Thank you for being an InfoQ reader.

Each year, we seek feedback from our readers to help us improve InfoQ. Would you mind spending 2 minutes to share your feedback in our short survey? Your feedback will directly help us continually evolve how we support you.

Take the Survey

Recorded at:

May 05, 2018

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

BT

Is your profile up-to-date? Please take a moment to review and update.

Note: If updating/changing your email, a validation request will be sent

Company name:
Company role:
Company size:
Country/Zone:
State/Province/Region:
You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.