例外と型推論ははっきり言って違うんじゃねえの
てかアセンブリで実装できないことを高等言語なら実装できるなんてことあるはずがない
計算可能性のレベルではなく実装速度と抽象性が高等言語を使う意味なのに
何、「低レベル」な話してるんだ？

あと型推論はCにはついてねえから、型省略しても動作してから型推論してると言ってくれ
それもインタープリタパターンやライブラリ使えばそういうのも実装できるが、
標準的な言語仕様から逸脱して、この機能があるだのないだのいったって仕方ないってなんでわかんねえのかな