Haskell Live-Coding, Session 6, CEK Machines

Profile Picture
- Published on Jul 22, 2018馃審 Public

Implementing a CEK machine in Haskell in incrementally more typed fashions. A CEK machine is a sort of standard virtual machine model for implementing interpreters using small step semantics. At the end we touch briefly on Futamura projections and big-step semantics. Untyped CEK: https://gist.github.com/ekmett/f081b5... Typed CEK: https://gist.github.com/ekmett/ac2bef... Matt Might on CEK Machines in Haskell: http://matt.might.net/articles/cek-ma... Dan Piponi on Futamura Projections: http://blog.sigfpe.com/2009/05/three-... Paul Chiusano on Unison's Runtime: https://www.youtube.com/watch?v=knqlW... -- Watch live at https://www.twitch.tv/ekmett