3 ms·Ur: Statically-Typed Metaprogramming with Type-Level Record Computation2 points by evangineer 15y ago