Speaker: Lennart Augustsson.
Lennart will be talking about dependent types.
Dependent types incorporate values at the type level allowing more powerful types but they come at a price.
There isn’t space to list everything Lennart has done with functional programming and Haskell in particular. His career has taken him from Chamlers University (where one summer he wrote hbc because GHC was taking too long) via various companies and he has ended up working in London for the last few years.
His technical output includes the hbc Haskell compiler (the first publicly available Haskell compiler), the Cayenne programming language (a functional programming language dependent types) and winning the three winning entries in the International Obfuscated C Code Contest.
“Lennart Augustsson … whose programming productivity beggars belief.” - A History of Haskell: Being Lazy With Class