>>295
君が考えるような馬鹿な手法よりも
HM型推論でも実装して推論できないときにワーニングでも出したほうが1000000倍有効

>>296
ぬるぽは静的動的関係ない