型理論としてはそんな気はしますが、コード生成上は難しそうですね (edited)

5:59 AM

throwsに関しては、

5:59 AM

Swiftは例外をcallerに返すところで専用のレジスタを使用しているので、

5:59 AM

throwsかnon throwsかで、ABI互換性があるんです。

5:59 AM

(non throwsな関数を、throwsな関数として使用することができる)

6:00 AM

でも、non asyncな関数と、asyncな関数はABIが全く違うので

6:00 AM

同じようにはできない。でもthunkでラップするだけで同じ感じにできるかも。 (edited)