OT: Swift is now open source
Chris Wright via Digitalmars-d
digitalmars-d at puremagic.com
Tue Dec 8 09:16:50 PST 2015
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.
More information about the Digitalmars-d
mailing list