amos> the compiler is unable to type-check this expression in reasonable time
good: clear, honest communication
bad: that means the language design is a bit fucked, right? I shouldn't be seeing this several times a day.
Edvin Malinovskis@fasterthanlime what defines the reasonableness of time? 👀
Pierre Lebeaupin@nCrazed @fasterthanlime 1,000,000 disjunctions or 512MB (!) of working space for just that expression, whichever comes first. Believe it or not, it used to be wall clock time at some point: https://forums.swift.org/t/roadmap-for-improving-the-type-checker/82952
Roadmap for improving the type checker
Roadmap for improving the type checker In the past, we've released various "manifestos" and "roadmaps" to discuss planned improvements to the language. This post is also a roadmap of sorts, but instead, the focus is on the implementation rather than user-visible language changes (however, I will briefly mention a few potential language changes at the very end). Specifically, I'm going to talk about some work we are doing to improve expression type checking in the Swift compiler. This includes c...