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:
- Haskell eXchange 2021: Novice Track (Online Conference on 15th November 2021)
- Haskell eXchange 2021: Pro Track (Online Conference on 16th - 17th November 2021)
- Hashing Modulo Alpha Equivalence (SkillsCast recorded in May 2021)
- In The Belly Of The Whale: Tales From Haskell In The Enterprise (SkillsCast recorded in May 2021)
Write Yourself a Typed Functional Language
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.