型演算をコンパイラに任せることが出来なくなって、すべてプログラミングしないといけなくなるのかな。