orwell famously said that freedom is the freedom to say `2 + 2 == 4`. on the swift project, our crack type-checker team is working hard to give our developers that freedom, in reasonable time 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...

Swift Forums
@joe Jokes aside, it is great to see swift team developing things so openly, and being so explicit about their goals and methods. Thanks for this.

@jonmsterling @joe My father died the day Swift announced pattern matching as a feature. I was looking forward to phoning him that night to tell him he had won. Instead, my brother phoned me to tell me my father was dead.

But he did win. For which I'm delighted. More! More!