3 ms·

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