V9qjm1ceck88kypracns
SkillsCast

Write Yourself a Typed Functional Language

11th October 2018 in London at CodeNode

There are 38 other SkillsCasts available from Haskell eXchange 2018

Please log in to watch this conference skillscast.

731528087 640x360

One way to learn a tool is to use it to build something non-trivial.

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:

Thanks to our sponsors

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.

SkillsCast

Please log in to watch this conference skillscast.

731528087 640x360

One way to learn a tool is to use it to build something non-trivial.

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:

Thanks to our sponsors

About the Speaker

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.

Photos