Скачать или смотреть Session 4: Building a new type system

I implement the type system that I designed in the last video.

Breakfast: https://github.com/MarcelGarus/breakfast

0:00 intro
0:41 upgrading Martinaise
6:48 a rough plan
7:53 Toast
31:28 parsing types
1:37:40 parsing functions
2:08:20 refactoring the parsing
2:40:04 Egg
3:16:04 compiling functions
3:45:41 compiling types
4:13:35 oops
4:15:53 why we need a hard border between comptime and runtime
4:31:08 Yogurt
5:09:25 function lookup / overloading
5:37:30 more Yogurt stuff
7:15:41 C
7:26:32 recursive types?
7:31:01 thinking about recursive types
7:52:39 handling recursive types in the Egg
8:23:19 creating symbols
8:32:06 start handling recursive types in the Yogurt
8:46:17 handling recursive functions