For me, it was just to have some fun seeing whether you can get the convenience of generics in C without blowing up the size of a "minimal standards-compliant compiler." E.g., Chibicc[1] is only a few thousand lines of…
Playing with 'minimal' ways to add templates/generics/reflection to C has become a bit of a dumb hobby of mine (in this case shared/enabled by Akshay!). Gamma was an experiment in templates without having to parse C.…
(Author:) thanks for the kind words! And yep --- one way to interpret the technique is that we're carrying out structurally inductive proofs on imperative code. It's (comparably) easy to do structural induction on…
For me, it was just to have some fun seeing whether you can get the convenience of generics in C without blowing up the size of a "minimal standards-compliant compiler." E.g., Chibicc[1] is only a few thousand lines of…
Playing with 'minimal' ways to add templates/generics/reflection to C has become a bit of a dumb hobby of mine (in this case shared/enabled by Akshay!). Gamma was an experiment in templates without having to parse C.…
(Author:) thanks for the kind words! And yep --- one way to interpret the technique is that we're carrying out structurally inductive proofs on imperative code. It's (comparably) easy to do structural induction on…