Defunctionalization in a Functional Language with Ayaz Hafiz

1

Introduction

00:00 • 2min

2

Type Theory and the Bonrock Tarski Paradox

02:25 • 3min

3

The Importance of Constructive Perspective in Mathematics

05:27 • 2min

4

The Principle of Type Inference

07:42 • 3min

5

The Motivation Behind Hobby Toy Languages

10:23 • 2min

6

TypeScript: A Novel Type System

12:03 • 2min

7

The Importance of Typography in JavaScript

13:47 • 5min

8

Why TypeScript Won Over VS Code

18:44 • 5min

9

The Impact of TypeScript on Angular 2

23:31 • 2min

10

The Different Types of Rock Compiler

25:54 • 3min

11

The Tradeoff Between Power and Complexity in a Type System

28:57 • 3min

12

The Importance of Unification in AV

31:53 • 3min

13

The Importance of Syntactically Typing in Elm

35:15 • 5min

14

Lambda Sets: A Selling Point for the Language

39:46 • 1min

15

The Morific System for Closing Closures

41:16 • 4min

16

The Implications of De-Functionalization

45:37 • 3min

17

Depunctionalization in ROC

48:25 • 3min

18

The Benefits of Guaranteed Defunctionalization in LVM

51:07 • 3min

19

The Role of Lambda Sets in the Type System

54:10 • 4min

20

The Pathological Case of Heap Allocation in a Functional Programming Language

58:06 • 3min

21

The Problems With Nested Callbacks

01:00:58 • 2min

22

The Problems With Lambdasets

01:02:38 • 2min

23

How to Implement Lambda Sets in Haskell

01:04:14 • 3min

24

The Problem With Lambda Sets

01:07:36 • 3min

25

The Importance of Getting in Front of Users

01:11:05 • 3min

26

The Importance of Soundness in Compiler Development

01:13:47 • 2min