Did he get an actual type theorist for that part of the project? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		catgary 46 days ago \| parent \| context \| favorite \| on: Roadmap for improving the type checker Did he get an actual type theorist for that part of the project?

boxed 45 days 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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact