https://forums.swift.org/t/function-builders-implementation-progress/32981

Function builders implementation progress

Hi all, We've been making quite a bit of progress on the implementation of function builders within the Swift compiler's type checker. While I'm not quite ready to reopen the big design discussion, I wanted to call attention to some of the work we're doing (some of which has ...

6:27 AM

Douglasがここで方針予告してて

6:27 AM

With this refactor, it becomes easy to support aspects of statements that cannot be described in expressions, such as multiple conditions in an if 11 and support for if #available 4. It's scaffolding for supporting let declarations, if let, and switch statements to make function builders more expressive, although that generalization is still a work-in-progress.

6:27 AM

let、if let, switchって書いてるので、そのとおりだと思う。

6:28 AM

布石としてデカイのがこのone-way constraint https://github.com/apple/swift/pull/25983

[Constraint solver] Introduce one-way binding constraints. by DougG...

Introduce the notion of "one-way" binding constraints of the form $T0 one-way bind to $T1 which treats the type variables $T0 and $T1 as independent up until the point where $T...