3 ms·

I believe it qualifies as a "real type system", doesn't it?

• KirinDave 10y ago
  Not really? We have a lot of options for opt-in run time verification, and then we can find new and interesting ways to break static verifiers with macros. I don't mean to imply that core.tyoed is fictitious but I wouldn't consider it a substitute for real, pervasive static typing.