型推論がモダンなら、動作推論でスタックヒープ最適化ぐらいあって良いのではないか