Keynote: Scrap your Bounds Checks with Liquid Haskell

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:

• Haskell eXchange 2020 (Online Conference on 4th - 5th November 2020)
• What's in a Functional Compiler? (SkillsCast recorded in July 2020)
• The Secrets of the GHC Garbage Collector (SkillsCast recorded in June 2020)