![][1]Мы о многом рассказали в [первой части][2]. Теперь с синтаксисом покончено, давайте наконец перейдём к самому интересному: изучению преимуществ и недостатков использования статических типов.


### Преимущество № 1: Вы можете заблаговременно находить баги и ошибки


Статическая проверка типов позволяет проверять, что определённый нами инвариант принимает значение `true`, даже не запуская программу. И если имеется какое-то нарушение этих инвариантов, оно будет обнаружено перед запуском программы, а не во время её работы.
[Читать дальше →][3]

[1]: https://habrastorage.org/files/eb6/2e5/8f9/eb62e58f9a234ca890279a0063ed1423.jpg
[2]: https://habrahabr.ru/post/326304/
[3]: https://habrahabr.ru/post/326394/?utm_source=habrahabr&utm_medium=rss&utm_campaign=feed_posts#habracut