Software Unscripted

Static Types in Elixir with José Valim

Oct 31, 2022

01:01:03

Creator website

Highlights

AI Chapters

Episode notes

JavaScript

04:53

Is Static Typing a Good Option for a VM?

05:03

Is Decidable Principle Type Inference a Good Idea?

01:46

Introduction

4min

Typing to R-Ling

4min

Types of Performance

1min

Is Static Typing a Good Option for a VM?

5min

Code Coverage 100% Eliminates the Need for a Type System

2min

Is Elixir a Type System?

4min

Elixir Pattern Matching in Words - Part Three

2min

JavaScript

5min

The Binary Decision Diagram Is a Binary Decision Diagram

4min

10.

I Never Saved You Soon

2min

11.

Is There a Way to Refactor Code?

2min

12.

Type Checker

5min

13.

Is There Any Unification With Sub Typing?

4min

14.

Haskell: Is It Possible to Add a Type Annotation?

2min

15.

Is Decidable Principle Type Inference a Good Idea?

2min

16.

Type Checker

4min

17.

How to Find the Answer to the Problem of X, Y, and Z

2min

18.

I Don't Know How to Implement a Type System, Right?

4min

19.

I'm Glad You Both Liked It.

2min

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.