>>440
Java みたいにプリミティブ型を作るか、
引数に型を指定できるようにするか。
どちらにせよ型有りになるか。

型推定は手間とコストの割に合うかねえ。
アルゴリズムは面白そうだけども。
「構文から数値演算にしか使われていないので整数型であると推定」
なんてこともできるのかな。