Defunctionalization in a Functional Language with Ayaz Hafiz
Software Unscripted
00:00
The Different Types of Rock Compiler
Rock is designed for real use and like a big code base. It goes into all these optimizations in addition to type checking. A lot of it is very domain specific. For example, dealing with the kinds of recursive types that rock has is a surprisingly difficult task. The way that you do reference there is pretty simple.
Transcript
Play full episode
