Software Unscripted

Defunctionalization in a Functional Language with Ayaz Hafiz

May 24, 2023

01:16:12

Creator website

AI Chapters

Episode notes

Introduction

2min

Type Theory and the Bonrock Tarski Paradox

3min

The Importance of Constructive Perspective in Mathematics

2min

The Principle of Type Inference

3min

The Motivation Behind Hobby Toy Languages

2min

TypeScript: A Novel Type System

2min

The Importance of Typography in JavaScript

5min

Why TypeScript Won Over VS Code

5min

The Impact of TypeScript on Angular 2

2min

10.

The Different Types of Rock Compiler

3min

11.

The Tradeoff Between Power and Complexity in a Type System

3min

12.

The Importance of Unification in AV

3min

13.

The Importance of Syntactically Typing in Elm

5min

14.

Lambda Sets: A Selling Point for the Language

1min

15.

The Morific System for Closing Closures

4min

16.

The Implications of De-Functionalization

3min

17.

Depunctionalization in ROC

3min

18.

The Benefits of Guaranteed Defunctionalization in LVM

3min

19.

The Role of Lambda Sets in the Type System

4min

20.

The Pathological Case of Heap Allocation in a Functional Programming Language

3min

21.

The Problems With Nested Callbacks

2min

22.

The Problems With Lambdasets

2min

23.

How to Implement Lambda Sets in Haskell

3min

24.

The Problem With Lambda Sets

3min

25.

The Importance of Getting in Front of Users

3min

26.

The Importance of Soundness in Compiler Development

2min

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.

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.