Haskell Live-Coding, Session 6, CEK Machines
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: • The Unison Language and its Scala-based Ru... -- Watch live at / ekmett