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:
- Webpack Academy: From Beginner to Master with Sean Larkin (in London on 3rd - 4th December 2018)
- Masterclass: Reducing Technical Debt with Michael C. Feathers (in London on 14th - 15th March 2019)
- Functional Concurrency in .NET with C# & F# with Riccardo Terrell (in London on 29th - 30th April 2019)