4 ms·

That Chris Lattner is taking a very different approach to the type checker in Mojo is afaik due to this kind of thing.

• catgary 1y ago
  Did he get an actual type theorist for that part of the project?
  • boxed 1y ago
    The issue with Swift IS the type theory. Constraint solvers are by definition going to be harder to reason about and have longer execution time than just declaring the type.