強い型であるかは, 「型に実装を書かされる」という体験ができるかどうかじゃないかと思っている.
型が合うようにパズルを解くといつの間にかバグのない実装が完成しているというのが (ほぼたどり着けないほうの) 理想.