4 ms·

What about core.typed?

• KirinDave 10y ago
  What about it?
  • spion 10y ago
    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.