Please log in to watch this conference skillscast.

Liquid Haskell is a type system extension to GHC that lets you add sophisticated predicates to type signatures. You can use these "refined types" to guarantee the safety of high-performance operations at compile time by eliminating most runtime checks.

YOU MAY ALSO LIKE:

• Safe and Reproducible Deployments with Immutable Infrastructure (in Online Event on 28th May 2020)
• The Secrets of the GHC Garbage Collector (in Online Event on 11th June 2020)
• Creating smaller, faster, production-worthy mobile machine learning models for Android (SkillsCast recorded in October 2019)
• Lightning Talk: Making and Testing Code Generators in Haskell (SkillsCast recorded in October 2019)