Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области.
Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него.
"Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!"
Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее.
Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то.
С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше.
Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс.
В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков.
#dev
31 март маросими имзои Шартнома миёни Ҷумҳурии Тоҷикистон, Ҷумҳурии Қирғизистон ва Ҷумҳурии Узбекистон дар бораи нуқтаи пайвастшавии сарҳадҳои давлатии се кишвар ва Эъломияи Хуҷанд доир ба дӯстии абадӣ баргузор гардид.
Санадҳои муҳими таърихӣ – Шартнома миёни Ҷумҳурии Тоҷикистон, Ҷумҳурии Қирғизистон ва Ҷумҳурии Узбекистон дар бораи нуқтаи пайвастшавии сарҳадҳои давлатии се кишвар ва Эъломияи Хуҷанд доир ба дӯстии абадӣ дар фазои тантанавӣ аз ҷониби сарони давлатҳо муҳтарам Эмомалӣ Раҳмон, муҳтарам Садир Жапаров ва муҳтарам Шавкат Мирзиёев ба имзо расид.
31 марта состоялась церемония подписания Договора между Республикой Таджикистан, Кыргызской Республикой и Республикой Узбекистан о точке стыка государственных границ трёх стран.
Важные исторические документы – Договор между Республикой Таджикистан, Кыргызской Республикой и Республикой Узбекистан о точке стыка государственных границ трёх стран и Худжандская декларатсия о вечной дружбе были подписаны в торжественной обстановке главами государств уважаемыми Эмомали Рахмоном, Садыром Жапаровым и Шавкатом Мирзиёевым.
Телеграм канал Президента Кыргызстана
Телеграм канал Президента Узбекистана
#ЭмомалӣРаҳмон#ЭмомалиРахмон#EmomaliRahmon#Тоҷикистон#Таджикистан#Tajikistan#Президент#President#TjKgUz
President.tj | Facebook | Instagram | Telegram | X | Youtube
31 март дар шаҳри Хуҷанди бостонӣ мулоқоти сеҷонибаи сарони давлатҳои Тоҷикистон, Қирғизистон ва Узбекистон баргузор шуд.
Президенти Ҷумҳурии Тоҷикистон, Пешвои миллат муҳтарам Эмомалӣ Раҳмон меҳмонони воломақомро самимона истиқбол намуданд ва маросими аксбардории муштараки сарони давлатҳои Тоҷикистон, Қирғизистон ва Узбекистон баргузор гардид.
31 марта в древнем городе Худжанд состоялась трёхсторонняя встреча глав государств Республики Таджикистан, Кыргызской Республики и Республики Узбекистан.
Перед началом состоялось теплое приветствие высоких гостей Президентом Республики Таджикистан, Лидером нации уважаемым Эмомали Рахмоном и прошла церемония совместного фотографирования глав государств Таджикистана, Кыргызстана и Узбекистана.
#ЭмомалӣРаҳмон#ЭмомалиРахмон#EmomaliRahmon#Тоҷикистон#Таджикистан#Tajikistan#Президент#President#TjKgUz
President.tj | Facebook | Instagram | Telegram | X | Youtube
Президенти Ҷумҳурии Тоҷикистон, Пешвои миллат муҳтарам Эмомалӣ Раҳмон рамзи «35-солагии Истиқлолияти давлатии Ҷумҳурии Тоҷикистон»-ро тасдиқ намуданд.
Вазорату идораҳо, ташкилоту муассисаҳо, мақомоти иҷроияи ҳокимияти давлатии вилоятҳо, шаҳру ноҳияҳо ва воситаҳои ахбори омма метавонанд аз рамзи тасдиқшуда васеъ истифода баранд.
Президент Республики Таджикистан, Лидер нации уважаемый Эмомали Рахмон, утвердил символ «35-летия государственной независимости Республики Таджикистан».
Министерства и ведомства, организации и учреждения, органы исполнительной власти областей, городов и районов, а также средства массовой информации могут широко использовать утверждённый символ.
#ЭмомалӣРаҳмон#ЭмомалиРахмон#EmomaliRahmon#Тоҷикистон#Таджикистан#Tajikistan#Президент#President#Тоҷикон#Таджики
President.tj | Facebook | Instagram | Telegram | X | Youtube
Президенти Ҷумҳурии Тоҷикистон, Пешвои миллат муҳтарам Эмомалӣ Раҳмон рамзи «35-солагии Истиқлолияти давлатии Ҷумҳурии Тоҷикистон»-ро тасдиқ намуданд.
Вазорату идораҳо, ташкилоту муассисаҳо, мақомоти иҷроияи ҳокимияти давлатии вилоятҳо, шаҳру ноҳияҳо ва воситаҳои ахбори омма метавонанд аз рамзи тасдиқшуда васеъ истифода баранд.
Президент Республики Таджикистан, Лидер нации уважаемый Эмомали Рахмон, утвердил символ «35-летия государственной независимости Республики Таджикистан».
Министерства и ведомства, организации и учреждения, органы исполнительной власти областей, городов и районов, а также средства массовой информации могут широко использовать утверждённый символ.
#ЭмомалӣРаҳмон#ЭмомалиРахмон#EmomaliRahmon#Тоҷикистон#Таджикистан#Tajikistan#Президент#President#Тоҷикон#Таджики
President.tj | Facebook | Instagram | Telegram | X | Youtube
Президенти Ҷумҳурии Тоҷикистон, Пешвои миллат муҳтарам Эмомалӣ Раҳмон рамзи «35-солагии Истиқлолияти давлатии Ҷумҳурии Тоҷикистон»-ро тасдиқ намуданд.
Вазорату идораҳо, ташкилоту муассисаҳо, мақомоти иҷроияи ҳокимияти давлатии вилоятҳо, шаҳру ноҳияҳо ва воситаҳои ахбори омма метавонанд аз рамзи тасдиқшуда васеъ истифода баранд.
Президент Республики Таджикистан, Лидер нации уважаемый Эмомали Рахмон, утвердил символ «35-летия государственной независимости Республики Таджикистан».
Министерства и ведомства, организации и учреждения, органы исполнительной власти областей, городов и районов, а также средства массовой информации могут широко использовать утверждённый символ.
#ЭмомалӣРаҳмон#ЭмомалиРахмон#EmomaliRahmon#Тоҷикистон#Таджикистан#Tajikistan#Президент#President#Тоҷикон#Таджики
President.tj | Facebook | Instagram | Telegram | X | Youtube
26 август Президенти Ҷумҳурии Тоҷикистон, Пешвои миллат муҳтарам Эмомалӣ Раҳмон дар шаҳри Роғун хатти оби нушокиро ба истифода доданд.
Хатти оби нушокӣ аз деҳоти Фақирободи ноҳияи Файзобод тавассути қубурҳои гуногунҳаҷм оварда шуда, имкон медиҳад, ки 38 ҳазор сокини шаҳр ва 17 ҳазор корманди НБО Роғун бе танафус ба оби тоза дастрасӣ дошта бошанд.
26 августа Президент Республики Таджикистан, Лидер нации уважаемый Эмомали Рахмон в городе Рогуне ввёл в эксплуатацию линию подачи питьевой воды.
Линия подачи воды проложена из села Факиробод Файзабадского района по трубопроводам различного диаметра, что позволяет обеспечить бесперебойный доступ к чистой воде для 38 тысяч жителей города и 17 тысяч работников Рогунской ГЭС.
#ЭмомалӣРаҳмон#ЭмомалиРахмон#EmomaliRahmon#Тоҷикистон#Таджикистан#Tajikistan#Президент#President#Тоҷикон#Таджики
President.tj | Facebook | Instagram | Telegram | X | Youtube`
Аз пандҳои Пешвои миллат: “Номи падару модарро фарзанд ҷовидон мекунад, агар тарбия карда бошем”.
#ЭмомалӣРаҳмон#ЭмомалиРахмон#EmomaliRahmon#Тоҷикистон#Таджикистан#Tajikistan#Президент#President#Тоҷикон#Таджики
8 сентябр Президенти Ҷумҳурии Тоҷикистон, Пешвои миллат муҳтарам Эмомалӣ Раҳмон дар паёми шодбошии худ ба муносибати 33-солагии истиқлоли давлатии Тоҷикистон тамоми мардуми сарбаланди кишвар ва ҳамватанони бурунмарзиамонро самимона табрик гуфта, ба ҳамаи онҳо хонаи обод, саодати рӯзгор, сулҳу оромӣ, ки асоси хушбахтии халқамон ва ободиву сарсабзии Ватани маҳбубамон мебошад, инчунин, комёбиву барори кор орзу намуданд.
8 сентября Президент Республики Таджикистан, Лидер нации уважаемый Эмомали Рахмона в своем поздравительном послании по случаю 33-й годовщины независимости, поздравив народ Таджикистана и зарубежных соотечественников, пожелал всем им семейного благополучия, счастливой жизни, мира и спокойствия, которые являются основой благоустройства нашей любимой Родины, безмятежной жизни народа, а также новых достижений и успехов.
#ЭмомалиРахмон#EmomaliRahmon#Tajikistan#Президент#Таджики#Tajiks#Тоҷикон#Независимость#Independence
President.tj | Facebook | Instagram | Telegram | X | Youtube