Tmydihg6tvqfn3ie9mhk
SkillsCast

Keynote: Scrap your Bounds Checks with Liquid Haskell

12th October 2017 in London at CodeNode

There are 43 other SkillsCasts available from Haskell eXchange 2017

Please log in to watch this conference skillscast.

660494169 640

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:

Thanks to our sponsors

Keynote: Scrap your Bounds Checks with Liquid Haskell

SkillsCast

Please log in to watch this conference skillscast.

660494169 640

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:

Thanks to our sponsors

About the Speaker

Keynote: Scrap your Bounds Checks with Liquid Haskell

Photos