Software Unscripted

Defunctionalization in a Functional Language with Ayaz Hafiz

Software Unscripted

Richard talks to Ayaz Hafiz about his work on the Roc programming language. They discuss behind-the-scenes compiler details like implementing ad-hoc polymorphism and defunctionalization using lambda sets. Along the way they get into how these implementation details interact with design of the language, and the experience of using the language.

Next Episodes


Software Unscripted

From Bootcamp to Teaching Masters' Comp Sci @ Software Unscripted

📆 2023-05-04 13:50 / 00:52:19




Software Unscripted

AI Tools Today @ Software Unscripted

📆 2023-04-12 14:13 / 00:52:56