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:
- Tensorflow & Firebase Hacknight (in London on 3rd September 2018)
- Well-Typed's Guide to the Haskell Type System (in London on 10th October 2018)
- HaskellX2gether Community Day 2018 (in London on 13th October 2018)
- Well-Typed's Guide to Haskell Performance and Optimization (in London on 15th - 16th October 2018)