Defunctionalization in a Functional Language with Ayaz Hafiz

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)

Linking & Binary Hot Code Loading with Jakub Konka

Linking & Binary Hot Code Loading with Jakub Konka

Richard talks to Jakub Konka, a programmer who works on the Zig programming language. They talk about the low-level systems programming involved in Jacob's work on Zig and other projects, including th...

14 Mai 202353min

From Bootcamp to Teaching Masters' Comp Sci

From Bootcamp to Teaching Masters' Comp Sci

Richard talks to Chelsea Troy, a programmer working at Mozilla who has a side gig teaching Masters' Computer Science students at the University of Chicago. This is highly unusual, considering she does...

4 Mai 202352min

Syntax and the Future of Programming with Josh Warner

Syntax and the Future of Programming with Josh Warner

Richard talks with Josh Warner, who has been working on making improvements to the Roc programming language, particularly around the parser and formatter. They start out talking about syntax and code ...

27 Apr 20231h 5min

Growing Programming Communities with Ryan Haskell-Glatz

Growing Programming Communities with Ryan Haskell-Glatz

Richard talks with Ryan Haskell-Glatz, author of the open-source Elm projects elm-spa and Elm Land. They get into things like new user onboarding experiences, framework churn, and dynamics between aut...

21 Apr 202357min

AI Tools Today

AI Tools Today

Richard talks to Stachu Koric about the Dark programming language's shift to being a programming language built around AI, as well as their own personal experiences so far exploring chatGPT, Copilot, ...

12 Apr 202352min

From Erlang to Management to C++

From Erlang to Management to C++

Dizzy Smith talks with Richard about his career path from C++ to Erlang to Management and now back to C++. Along the way, they talk about package management and several other languages - including Go,...

4 Apr 20231h 1min

Conditional Cardinality with Joël Quenneville

Conditional Cardinality with Joël Quenneville

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

28 Mar 202352min

Populært innen Politikk og nyheter

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