webinar register page

Do more with your types: GADTs and Liquid Haskell
Do more with your types: GADTs and LiquidHaskell
Join us for an intermediate-to-advanced Haskell talk from Alejandro Serrano.

One of the main selling points of Haskell is its strong type system. How can you squeeze it even further, and even go beyond their limits? And when should you do that?

This talk provides an introduction about two seemingly disparaging topics, which share a common goal: provide a more expressive type language to be more precise in describing values. On the one hand, we have Generalized Algebraic Data Types (GADTs for short), a very popular GHC extension. On the other hand, we have LiquidHaskell, a plug-in for the GHC compiler which adds support for so-called refinement types.

Both approaches give you tools to prevent the hideous "head applied to an empty list" problem without having to manually check for emptiness. Instead, we make our tools more aware of the shape of the values (the length of the list, in this case), so it can automatically check whether calls to head are correct at compile time.

A Q&A session will immediately follow the talk - please add your questions throughout the talk to the Q&A section, not chat.

Aug 25, 2020 09:00 AM in Pacific Time (US and Canada)

47 Degrees
* Required information
Loading

Speakers

Alejandro Serrano
Senior Software Engineer @47 Degrees
Alejandro Serrano serves as a Senior Software Engineer at 47 Degrees, where he devotes his time to Haskell training and the development of Open Source projects for the Haskell ecosystem. Previously, he held several teaching and research positions at Utrecht University where he obtained a Ph.D. in Software Technology (on the attractive-sounding topic of “error messages for compilers”). He has a strong background in training functional programmers, as a speaker, lecturer, and through his books “Practical Haskell” and “The Book of Monads.” He also contributes to the Haskell community by proposing extensions and new libraries and serving on the GHC Steering Committee.