Building a Web Library Using Super Hard Haskell

This SkillsCast is currently only available to registered attendees of Haskell eXchange 2020

It will be freely available to all Skills Matter members once the Haskell eXchange 2020 early-access window expires on December 04, 2020.

Have you heard of the Simple Haskell initiative? They've got a point, right? Safety, simplicity, Haskell'98 with maybe some benign extensions. You better hear what you are missing and I'll tell you — you're missing a lot

The idea for this talk came to me when I was looking for a Haskell library for JWT. I wasn't completely satisfied with interfaces like HashMap Text Value, so I decided to write something myself. It eventually took the form of libjwt-typed library.

It turned out that I had to explore many things that I wanted to share with other Haskell enthusiasts:

• type families
• “open product" types
• GHC rewrite rules
• FFI
• DataKinds
• generics

I think that this material can serve well as a cheat-sheet. In the course of this talk, I'll try to present how these (sometimes not widely known) techniques can be applied to solve well-defined domain-modelling problems. But more importantly, I'll try to convince the audience that seemingly “complicated" Haskell is not so difficult at all, and can bring tangible benefits. Despite what SimpleHaskell advocates say: the library turns out to be many times faster than contenders, while giving the user a more enjoyable, less error-prone interface to work with.

YOU MAY ALSO LIKE:

• Domain Models in Practice with Marco Heimeshoff (Online Course on 30th November - 4th December 2020)
• Crafting Code with Sandro Mancuso (Online Course on 14th - 15th January 2021)
• Theorems for Free (SkillsCast recorded in November 2020)
• Comparing Strict and Lazy (SkillsCast recorded in November 2020)