Eliminating Bugs with Dependently Typed Haskell

location_city Online schedule May 6th 01:25 - 01:55 PM place Grand Ball Room 1

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.

 
 

Target Audience

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

schedule Submitted 1 month ago
help