TorBT - Torrents and Magnet Links Search Engine
Dmitry Soshnikov - Building a Typechecker from scratch
- Date: 2024-07-04
- Size: 806 MB
- Files: 42
File Name
Size
Course repository.html
109 B
eva-tc-source-main.zip
18 kB
1. Type theory and Basic types/1. Introduction to Type theory and checking.mp4
67 MB
1. Type theory and Basic types/1. Introduction to Type theory and checking.srt
31 kB
1. Type theory and Basic types/2. Typing Numbers and Strings Testing.mp4
20 MB
1. Type theory and Basic types/2. Typing Numbers and Strings Testing.srt
6.3 kB
1. Type theory and Basic types/3. Math binary operations String concat.mp4
43 MB
1. Type theory and Basic types/3. Math binary operations String concat.srt
10 kB
1. Type theory and Basic types/4. Variables and Typing Environment, Г.mp4
51 MB
1. Type theory and Basic types/4. Variables and Typing Environment, Г.srt
13 kB
1. Type theory and Basic types/5. Blocks and Local scope.mp4
41 MB
1. Type theory and Basic types/5. Blocks and Local scope.srt
11 kB
1. Type theory and Basic types/6. Parsing S-expression to AST.mp4
44 MB
1. Type theory and Basic types/6. Parsing S-expression to AST.srt
12 kB
1. Type theory and Basic types/7. Control flow If and While expressions.mp4
46 MB
1. Type theory and Basic types/7. Control flow If and While expressions.srt
12 kB
2. Functional programming/1. User-defined functions Local environments.mp4
61 MB
2. Functional programming/1. User-defined functions Local environments.srt
15 kB
2. Functional programming/2. Function calls Built-in functions.mp4
33 MB
2. Functional programming/2. Function calls Built-in functions.srt
7.4 kB
2. Functional programming/3. Closures Recursive calls.mp4
32 MB
2. Functional programming/3. Closures Recursive calls.srt
8.2 kB
2. Functional programming/4. Lambda functions and IILE Syntactic sugar.mp4
31 MB
2. Functional programming/4. Lambda functions and IILE Syntactic sugar.srt
6.8 kB
3. Type declarations and Classes/1. Declaring new types Type aliases.mp4
24 MB
3. Type declarations and Classes/1. Declaring new types Type aliases.srt
5.8 kB
3. Type declarations and Classes/2. OOP Classes.mp4
41 MB
3. Type declarations and Classes/2. OOP Classes.srt
10 kB
3. Type declarations and Classes/3. OOP Instances.mp4
23 MB
3. Type declarations and Classes/3. OOP Instances.srt
5.9 kB
3. Type declarations and Classes/4. Super calls Inheritance.mp4
18 MB
3. Type declarations and Classes/4. Super calls Inheritance.srt
4.1 kB
4. Generic programming/1. Union type.mp4
40 MB
4. Generic programming/1. Union type.srt
9.3 kB
4. Generic programming/2. Union Type narrowing.mp4
53 MB
4. Generic programming/2. Union Type narrowing.srt
12 kB
4. Generic programming/3. Generics Function declarations.mp4
47 MB
4. Generic programming/3. Generics Function declarations.srt
11 kB
4. Generic programming/4. Generics Function calls.mp4
51 MB
4. Generic programming/4. Generics Function calls.srt
12 kB
4. Generic programming/5. Final executable.mp4
41 MB
4. Generic programming/5. Final executable.srt
10 kB