Jai programming language has the best metaprogramming capabilities in the world, apart from other cool stuff. Here we are looking at just a glimpse of what it has to offer.
Another video about Jai:
Detecting implicit dereferences at compile time: • Jai metaprogramming - detecting implicit d...
Chapters:
00:00 - Start
00:35 - What is Jai
01:30 - Warming up, Jai crash course
03:40 - Unexpected consistency of declarations
05:30 - Higher order types
08:00 - Code as data
11:10 - Compile time execution
12:10 - Real fun begins!
15:30 - Create types programmatically
24:30 - Customizing compile errors
27:30 - Testing the types
29:00 - Mogging C macros (any other macros as well, really)
31:00 - Where you can take this
35:00 - Doing things REALLY the hard way
44:55 - Outro