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.