top | item 45770103 (no title) catgary | 4 months ago Did he get an actual type theorist for that part of the project? discuss order hn newest boxed|4 months 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.
boxed|4 months 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.
boxed|4 months ago