Swiftってstructやclassがcopyableで、retain countも勝手についてきて、もっと最適化したい場合には non copyable が使えるっていう構成だけど、

5:35 AM

同じことが関数のエフェクトにも採用できるんじゃないか

5:36 AM

デフォルトの関数が非同期、例外有りで、同期関数を sync、例外なしを nothrows でマークするように逆転させる

5:37 AM

async throws な関数ってあちこちにあって、「ここは例外を投げない」「ここは同期だから割り込まれない」みたいなことが役に立つ場面の方がレアケースな気がする

5:37 AM

レアケースの方をマークさせる設計の方が書きやすくなるはず