On Tuesday, 8 December 2015 at 17:16:50 UTC, Chris Wright wrote:
On Tue, 08 Dec 2015 08:38:23 -0500, Steven Schveighoffer wrote:
On 12/8/15 4:14 AM, deadalnix wrote:
On Friday, 4 December 2015 at 03:18:02 UTC, Steven
Schveighoffer wrote:
The type system is static, and everything is done via
inference, which is very nice.
According to a swift dev I talked to, part of the algorithm
is exponential and they have compile time problem because of
this.
Hm... I don't have the same problems.
I'm guessing it's one of those situations where they have
heuristics that normally shrink the problem space down to 3-4
options at most, and exponential costs at that point aren't so
visible. But in some of their more strenuous test cases, I
imagine, the heuristics can't chop down the problem space
enough and they get code that takes minutes to compile.
I don't know swift well enough to tell you what are the
problematic cases. However they seemed to think it was a serious
issue and improving it is one of their primary goal for swift 3.
Another one is getting the ABI nailed down.
