Eliminating Bugs with Dependently Typed Haskell
Using dependent types in production Haskell code is a practical way to eliminate errors. While there are many examples of using dependent Haskell to prove invariants about code, few of these are applied to large scale production systems. Critics claim that dependent types are only useful in toy examples and that they are impractical for use in the real world. This talk analyzes real world examples where dependent types have enabled us to find and eliminate bugs in production Haskell code.
developers, Technical leads and Architects,programmers, testers, business analysts and product owners
Prerequisites for Attendees
Some knowledge of functional programming and static types is recommended