{"version":"1.0","type":"rich","provider_name":"Acast","provider_url":"https://acast.com","height":250,"width":700,"html":"<iframe src=\"https://embed.acast.com/$/664fde3eda02bb0012bad909/664fde448c77cc0013b333a0?\" frameBorder=\"0\" width=\"700\" height=\"250\"></iframe>","title":"Defunctionalization in a Functional Language with Ayaz Hafiz","description":"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.","author_name":"Richard Feldman"}