Compiler Programming in Rust - De-duping types

This is a recorded stream from May 1st where I begin to de-dupe identical types in the type pool for performance as well as correctness, to support type abilities.
There is a lot of head scratching time and wandering around the problem space, so not exactly action-packed but I want to share the real process not some manufactured false highlight reel!
In Fred Brooks' terms I'd say we're 80% tar pit and 20% imagination castles in this one.
x.com/kolemannix
github.com/kolemannix/bfl

[@KolemanNix]

There is a lot of head scratching time and wandering around the problem space, so not exactly action-packed!
I understand this is pretty dry content but I want to share the real process not some manufactured false highlight reel, and entertainment is not my primary goal
In Fred Brooks' terms I'd say we're 80% tar pit and 20% imagination castles in this one.

[@ShayneHartford]

This series gave me an idea, what about a meta macro programming language which uses rust proc macros to add custom syntax to rust, you'd just have to wrap every file with a macro

[@KolemanNix]

You should try it! It's also pretty neat how quickly you can "add custom syntax to Rust" just using macro_rules; the problem is everything has to go in there so its more useful for entire DSLs than just for small syntactic improvements.
Each time I do a purely syntactic feature in this project, I feel the urge more and more to support macros or at least userland syntax definitions.
I've also been thinking a lot about C's macros, which get so so much hate but are so important for the language and objectively have to be viewed as a huge success.