Пределы применения статической типизации

[metaclass]

Очевидно, что статическая типизация не панацея, но все равно интересно натыкаться на места, где она никак не поможет гарантировать отсутствие ошибок.
Например, когда мы пишем предикат для фильтра для списка - если мы ошибемся в условии, это в compile time никак не отловишь, хоть тресни.
В этом плане хороши предметные области, где есть свои способы проверки, типа бухгалтерии. Там большинство отчетов можно проверить несколькими способами(если конечно, архитектура нормальная, а не "мы не можем сделать по-человечески, поэтому будем дублировать проводки в таблице два раза и отфильтровывать везде ненужные")

Comments

[berezovsky.livejournal.com]

метод двойной записи-2

[gds.livejournal.com]

любая алгоритмика, например. a+b vs a-b. Да много где статическая типизация уже ничего не гарантирует.

[nivanych.livejournal.com]

Ещё и есть сертификаты на сертификаты.
Это называют культурой бозопасности.
Многое можно делать, несмотря на очень жёсткую спецификацию.
Но если есть некие (проверенные?) требования более высокого уровня, то и действия в пределах свободных будут более осторожными.