Bucharest FP

A functional programming group for those living and working in Bucharest

We gather monthly, watch someone talk about something they're passionate about and then continue the discussion in a pub

#008: Haskell Types Revisited

This meetup took place at the Eloquentix office, Wednesday, 25 February 2015 at 19:00. Find out when our next meetup is.

Haskell Types Revisited

Lucian Mogoșanu

Biography

Teaching assistant and PhD student at University Politehnica of Bucharest; researcher at VirtualMetrix. His main areas of interest include security, programming languages and operating systems.

Abstract

Haskell is a purely functional, statically typed programming language developed to serve mainly as a tool for programming languages research. Some of its most distinctive features are represented by its strict type checker and automatic type inference engine, which together provide a form of compile-time lightweight formal verification.

This talk will give an example-driven overview of these features: we will go through the basics of constructing Haskell types and then use this knowledge to show how we can define programs that are correct or almost correct by design. Last but not least, we will explore the type system's limitations, i.e., design cases that are impossible or impractical to verify using it.