masot

3 ms·

1. 1.▲
   by masot 10mo ago

   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 code; addin
2. 2.▲
   by masot 10mo ago

   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
3. 3.▲
   by masot 1y ago

   (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 functional code