A Pile of Parens - Episode 3 - Hacking on Checkmate
Channel: Baggers
Date: 15/02/2019

This episode is a bit of ramble but here is the context.

I'd like to do more streams on SIMD but just doing it all by hand is a bit boring so instead I'm going to make a compiler to do it. For that we need a language to compile and a type system for that language.

In this episode we look into what it would be like to have type macros (functions that return types) in the language.

We get a bit of the way but the library we are using to do the checking (checkmate) needs some more work before we can do more on this.