@jaredsinclair I was kinda aware of this, and definitely recall it being a thing.
This kind of stuff is exactly what dynamic isolation is for. You know what isolation is in effect (say, MainActor or some queue), but it is invisible to the compiler. It is not perfect, but has that been helpful at all?
Alternatively, it might be possible to build such a wrapper that encodes the static isolation and then internally expresses it dynamically...
=> More informations about this toot | View the thread | More toots from mattiem@mastodon.social
=> View jaredsinclair@mastodon.social profile
text/gemini
This content has been proxied by September (3851b).