3 ms·

How is paramerization of types on values not a typesystem-level property ? There's definitely nothing akin to macro expansion involved since you can do type-lev

• throwaway17_17 5y ago
  I’m pretty sure the implication is that since template instances are made specific at compile time and are done so in a way that is very analogous to AST based macro expansion. Specifically, C++ templates are a programming language which runs during the compilation of C++ code that acts by producing valid C++ AST components.
  • jcelerier 5y ago
    I have never seen a definition of type system which cares about things being done at compile-time or runtime, or that there even is a compile-time or run-time
    • rixed 5y ago
      Never heard of static vs dynamic type checks ?
      • jcelerier 5y ago
        Expressiveness of type systems is about which types (and thus type checks) you can express, not when the type checking occurs