静的型付けというのは一種の統合テスト環境だとおもっていて、処理系とテスト環境が完全に一体化しているからありがたいのであって、動的型付けであっても同等のテスト環境を整えるのは不可能ではないはず。また、充実したメタプログラミングのためのライブ…