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:

• What's in a Functional Compiler? (SkillsCast recorded in July 2020)
• The Secrets of the GHC Garbage Collector (SkillsCast recorded in June 2020)