Avatar
Hey everyone! Attached is a pitch for a new language feature called Region Based Isolation. It is based off of the earlier pitched SendNonSendable proposal. Would love everyone's thoughts and feedback. Thank you for your time and thoughts! Abstract Swift Concurrency assigns values to isolation domains determined by actor and task boundaries....
12:33 AM
先日 Sendable つけなくていいケースについて話したけど
12:34 AM
それについてのピッチ
12:35 AM
リージョン解析(和名?)という手法によって、 アクター境界をまたぎつつ、同時にもう使われなくなる値については、Sendableが不要になる (edited)
12:35 AM
feature名が SendNonSendable で、トゲナシトゲトゲみたいでわかりづらいが
12:35 AM
「SendableじゃないけどSendできる」パターンを検出する事によって Sendable付与の必要性を緩和するという事 (edited)
12:42 AM
逆にこの話がでてきたことで、やはりアクター境界またぎでとにかくSendableが要求されるのは、その前後で値が送信元ドメインで維持される事によって、後に並行アクセスされうる可能性に備えている、という理屈がはっきりしてきたと思う