Defunctionalization in a Functional Language with Ayaz Hafiz
Software Unscripted24 Mai 2023

Defunctionalization in a Functional Language with Ayaz Hafiz

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.

Hosted on Acast. See acast.com/privacy for more information.

Episoder(117)

Hiring Functional Programmers with Kris Jenkins

Hiring Functional Programmers with Kris Jenkins

Hosted on Acast. See acast.com/privacy for more information.

29 Aug 202254min

Makepad with Rik Arends

Makepad with Rik Arends

Hosted on Acast. See acast.com/privacy for more information.

22 Aug 202249min

Vim and Nix with Jasper Woudenberg

Vim and Nix with Jasper Woudenberg

Hosted on Acast. See acast.com/privacy for more information.

15 Aug 202245min

Teaching Haskell with Christoph Hermann

Teaching Haskell with Christoph Hermann

Hosted on Acast. See acast.com/privacy for more information.

11 Aug 202253min

Literal Google Scale

Literal Google Scale

Hosted on Acast. See acast.com/privacy for more information.

8 Aug 202251min

Real-World Performance Optimization with Folkert de Vries

Real-World Performance Optimization with Folkert de Vries

Hosted on Acast. See acast.com/privacy for more information.

28 Jul 202247min

"Team Monolith" with Jonathan Magen

"Team Monolith" with Jonathan Magen

Hosted on Acast. See acast.com/privacy for more information.

19 Jul 202248min

Open-Source Careers with Loris Cro

Open-Source Careers with Loris Cro

Hosted on Acast. See acast.com/privacy for more information.

13 Jul 202249min

Populært innen Politikk og nyheter

giver-og-gjengen-vg
aftenpodden
aftenpodden-usa
forklart
popradet
stopp-verden
det-store-bildet
fotballpodden-2
nokon-ma-ga
dine-penger-pengeradet
rss-gukild-johaug
hanna-de-heldige
lydartikler-fra-aftenposten
rss-ness
aftenbla-bla
rss-dannet-uten-piano
rss-utenrikskomiteen-med-bogen-og-grasvik
chit-chat-med-helle
rss-penger-polser-og-politikk
e24-podden