любителя TDD осталось в памяти "Он наезжает на тесты" а у любителя хаскеля "Он наезжает на типы". Хотя сабж то в общем не про то.
Так и я говорил не об этом: я не слышал этого выступления Ричи, я услышал эту аналогию с отбойниками от Николая Рыжикова. И там посыл был именно такой, мол, типы могут помочь нам в некоторой критической ситуации (подобно отбойнику, удержвающему автомобиль на трассе), но вообще-то мы нормальные водители и просто едем по дороге, и не врезаемся в отбойник каждые пять минут, поэтому в нормальных условиях они нам как бы и не нужны. Подобная аналогия отражает лишь часть того, что даёт нам развитая и выразительная система типов.
Обсуждают сегодня