>>570
それだと型推論なしの別言語が必要になる