型ありとしても定義出来るし、
型が定義されてない時には動的に型推論してくれる。
そんな神のような言語はありませんか？