Mastodawn

Rob Napier Mar 20, 2024

I anticipate a long future of an ambiguous meaning of `@\unchecked Sendable`:

Meaning 1 (the official meaning):
This type is Sendable, but it cannot be proven due to limitations of the compiler, language, or frameworks.

Meaning 2 (the…other meaning):
This type is totally NOT Sendable, but I am way too tired to make it so. Please forgive me, those who suffer what I do today.

I fear in the not-to-distant future we will regret that these have the same spelling.

Show thread

Bertrand Landry-Hétu

@cocoaphony there is also the mix of both. The type started as #1 but over time you make a subtle change that makes it NOT sendable but don’t notice it. The end result is that I’ll be assuming it’s #2 for every single unchecked type.