Static Types in Elixir with José Valim

1

Introduction

00:00 • 4min

2

Typing to R-Ling

04:29 • 4min

3

Types of Performance

08:55 • 1min

4

Is Static Typing a Good Option for a VM?

10:16 • 5min

5

Code Coverage 100% Eliminates the Need for a Type System

15:19 • 2min

6

Is Elixir a Type System?

17:16 • 4min

7

Elixir Pattern Matching in Words - Part Three

21:17 • 2min

8

JavaScript

22:53 • 5min

9

The Binary Decision Diagram Is a Binary Decision Diagram

27:46 • 4min

10

I Never Saved You Soon

31:44 • 2min

11

Is There a Way to Refactor Code?

33:42 • 2min

12

Type Checker

35:27 • 5min

13

Is There Any Unification With Sub Typing?

40:44 • 4min

14

Haskell: Is It Possible to Add a Type Annotation?

45:11 • 2min

15

Is Decidable Principle Type Inference a Good Idea?

47:28 • 2min

16

Type Checker

49:13 • 4min

17

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

52:48 • 2min

18

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

54:31 • 4min

19

I'm Glad You Both Liked It.

58:56 • 2min