Список проголосовавших за комментарий "Redline, проверка типов на стадии компиляции? Ну так Вы так и говорите, я хз, что там кем понимается. Корректность программы проверить невозможно с помощью тайпчекера, отладчика или среды программирования."