SkillsCast
Write Yourself a Typed Functional Language
SkillsCast
About the Speaker
Photos
Please log in to watch this conference skillscast.
Alternatively, you could reimplement it, figuring it inside out. In this talk, Oleg will do both. He will walk-through a straightforward Haskell implementation of (dependently) typed functional language. He'll use simple, yet powerful libraries and techniques to make code clean and understandable. On the other hand, he'll add features one-by-one, and reflect on why and how their Haskell counterparts differ.
YOU MAY ALSO LIKE:
Thank you to our sponsors and partners
Platinum
Silver
Partners
Write Yourself a Typed Functional Language
Oleg Grenrus
Oleg is a programmer from Finland (i.e. he's a humble person). He became active in the Haskell community around 2015, and nowadays co-maintains (among other things) servant web-framework, the one where type trickery is involved.