>>524
Rustとは異なる一つの解として、フロー解析を頑張るという方向性はアリだと思う
Rustのように人間が明示的に型を付けることによって制御するんではなく、TypeScriptの型推論みたいにコンパイラが頑張ってフローから生存範囲を割り出す
Vには期待してないが、MSあたりが本気で取り組めば実用的なものはできそう