An attempt to do dimensional analysis (units) in #C++ template #metaprogramming in a sufficiently strong way to show that #linearalgebra operations are dimensionally correct, by Mark Yagnatinsky in response to Yossi Kreinin’s challenge.
on 02015-08-05“#Reflection and #Metaobject Protocols: Fast and without Compromises” “Dispatch chains, a generalized form of polymorphic inline caches common to self-optimizing interpreters, are a simple optimization at the language-implementation level. Our evaluation with self-optimizing interpreters shows that unrestricted metaobject protocols can be realized for the first time without runtime overhead, and that this optimization is applicable for just-in-time compilation of #interpreters based on meta-tracing as well as partial evaluation.” #metaprogramming
on 02015-08-05