?

Log in

No account? Create an account
November 2016   01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
cartoon

TypeScript: Static or Dynamic?

Posted on 2016.06.15 at 21:49

Comments:


Трещиноватые коллекторы. Инструкция.
maksenov at 2016-06-19 15:10 (UTC) (Link)
Ага, спасибо.

Интерес был как раз в "математически полном", что для меня вообще какой-то новый зверь, а на деле это старые песни о главном: 100% покрытия, статическая система типов и наш софт можно в продакшен, в котором он не сломается, и будет работать корректно. Жалко только в суровой реальности софт больше похож на кисейную барышню, а не на набор инструкций для глупой машины.

По ощущениям оно так и происходит - функциональными и интеграционными тестами проверяются типичные форкфлоу (сразу вскрывая глупые ошибки с типами), а на остальное кладется болт.
Gaperton
gaperton at 2016-06-20 05:32 (UTC) (Link)
Об этом я и писал в статье. Системы типов популярных языков слишком слабы, чтобы конкурировать с традиционными QA процедурами (а эзотерику мы всерьез не воспринимаем - есть объективные причины, почему она даже близко не подходит к мэйнстриму). Ловля этих ошибок чуть раньше - приятно, но само по себе не преимущество. Оно в другом.

И это другое - оно более важное.

Edited at 2016-06-20 05:45 am (UTC)
Previous Entry  Next Entry