Files (42)
Dmitry Soshnikov - Building a Typechecker from scratch
Course repository.html
109.00 B
eva-tc-source-main.zip
18.17 KB
Dmitry Soshnikov - Building a Typechecker from scratch/1. Type theory and Basic types
1. Introduction to Type theory and checking.mp4
67.17 MB
1. Introduction to Type theory and checking.srt
30.99 KB
2. Typing Numbers and Strings Testing.mp4
19.92 MB
2. Typing Numbers and Strings Testing.srt
6.28 KB
3. Math binary operations String concat.mp4
43.23 MB
3. Math binary operations String concat.srt
10.27 KB
4. Variables and Typing Environment, Г.mp4
50.66 MB
4. Variables and Typing Environment, Г.srt
13.23 KB
5. Blocks and Local scope.mp4
40.96 MB
5. Blocks and Local scope.srt
10.91 KB
6. Parsing S-expression to AST.mp4
43.82 MB
6. Parsing S-expression to AST.srt
11.69 KB
7. Control flow If and While expressions.mp4
45.96 MB
7. Control flow If and While expressions.srt
11.50 KB
Dmitry Soshnikov - Building a Typechecker from scratch/2. Functional programming
1. User-defined functions Local environments.mp4
60.96 MB
1. User-defined functions Local environments.srt
14.72 KB
2. Function calls Built-in functions.mp4
33.08 MB
2. Function calls Built-in functions.srt
7.43 KB
3. Closures Recursive calls.mp4
31.56 MB
3. Closures Recursive calls.srt
8.22 KB
4. Lambda functions and IILE Syntactic sugar.mp4
30.93 MB
4. Lambda functions and IILE Syntactic sugar.srt
6.80 KB
Dmitry Soshnikov - Building a Typechecker from scratch/3. Type declarations and Classes
1. Declaring new types Type aliases.mp4
23.58 MB
1. Declaring new types Type aliases.srt
5.76 KB
2. OOP Classes.mp4
41.06 MB
2. OOP Classes.srt
10.15 KB
3. OOP Instances.mp4
23.05 MB
3. OOP Instances.srt
5.86 KB
4. Super calls Inheritance.mp4
17.77 MB
4. Super calls Inheritance.srt
4.14 KB
Dmitry Soshnikov - Building a Typechecker from scratch/4. Generic programming
1. Union type.mp4
39.69 MB
1. Union type.srt
9.25 KB
2. Union Type narrowing.mp4
53.02 MB
2. Union Type narrowing.srt
11.93 KB
3. Generics Function declarations.mp4
46.63 MB
3. Generics Function declarations.srt
10.84 KB
4. Generics Function calls.mp4
51.06 MB
4. Generics Function calls.srt
11.59 KB
5. Final executable.mp4
41.43 MB
5. Final executable.srt
10.37 KB