Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > Философия программирования > Unit testing isn't enough. You need static typing

Автор: kemiisto 11.7.2012, 22:30

Иисус во Христе! smile

На просторах Интернетов обнаружена http://evanfarrer.blogspot.ca/2012/06/unit-testing-isnt-enough-you-need.html, в основу которой положено исследование кода на динамически типизированных языках на предмет:
1) Достаточно ли модульного тестирования для замены проверки типов в статически типизированных языках?
2) Действительно ли динамическая типизация позволяет выразить что-то недоступное (или трудно доступное) в мире статической типизации?

ИЧСХ на оба вопроса получены отрицательные ответы. ЧТД.

Апологеты питонов-похапешек, давайте, до свидания. smile

Автор: LSD 12.7.2012, 10:54

Слабенький наброс, похапешники вообще юнит тестами не заморачиваются smile

Автор: kemiisto 12.7.2012, 11:20

Цитата(LSD @ 12.7.2012, 09:54

)

Слабенький наброс, похапешники вообще юнит тестами не заморачиваются

Похапешники существуют вообще? А то я в реальности ни одного не встречал.

Вброс как вброс. Будет куда отсылать при случае. smile

Автор: Karadul 4.1.2013, 02:26

Цитата

3. Because static typing rejects some valid programs static typing is harmful.

А чо, правда. В яве приходилось копипастить код из-за того, что по-другому ее ограничения не обойти (пытался наследовать то ли OutputStream, то ли InputStream. С одним вышло, с другим нет). Хотя, возможно, это не типизация напрямую, а более строгие проверки в яве.

С другой стороны, поддержка питона IDE просто убивает. pydev даже переименовать переменную нормально не может.