Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области.
Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него.
"Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!"
Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее.
Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то.
С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше.
Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс.
В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков.
#dev
Live: The majestic Qomolangma – Witness to Xizang's 75 years of beauty, growth – Ep. 5
Qomolangma, the world's highest peak, stands proudly at an altitude of 8,848.86 meters above sea level. Known as the "Third Pole of the Earth," this awe-inspiring, snow-capped giant rises majestically on the Qinghai-Xizang Plateau, its snow-cloaked slopes and towering summit offering a breathtaking display of nature's grandeur. As we mark the 75th anniversary of Xizang's peaceful liberation, CGTN invites you to witness not only the timeless beauty of Qomolangma – from golden dawns kissing its peak to twilight painting the sky – but also the transformation of #Xizang over seven and a half decades.
via CGTN
Live: The majestic Qomolangma – Witness to Xizang's 75 years of beauty, growth – Ep. 4
Qomolangma, the world's highest peak, stands proudly at an altitude of 8,848.86 meters above sea level. Known as the "Third Pole of the Earth," this awe-inspiring, snow-capped giant rises majestically on the Qinghai-Xizang Plateau, its snow-cloaked slopes and towering summit offering a breathtaking display of nature's grandeur. As we mark the 75th anniversary of Xizang's peaceful liberation, CGTN invites you to witness not only the timeless beauty of Qomolangma – from golden dawns kissing its peak to twilight painting the sky – but also the transformation of #Xizang over seven and a half decades.
via CGTN
Live: Cloud-kissed Namcha Barwa, 'a long lance piercing the sky' in Tibetan – Ep. 3
Namcha Barwa stands as the majestic eastern anchor of the Himalayas, towering at 7,782 meters above sea level. Known as the "Shy Maiden Peak" for its snow-cloaked triangular peak often veiled in clouds, and meaning "a long lance piercing the sky" in Tibetan, this awe-inspiring giant rises grandly at the junction of the Himalayas, Nyenchen Tanglha and Hengduan Mountains. As we mark the 75th anniversary of China's Xizang Autonomous Region's peaceful liberation, CGTN invites you to discover Namcha Barwa, a peak shrouded in clouds year-round, where "nine out of ten visitors fail to catch a glimpse of its true face." Beyond its natural grandeur, there are also the quiet villages at the foot of the mountain and the people living a happy life, bringing you the gentle transformation of #Xizang over seven and a half decades.
via CGTN
Live: The majestic Qomolangma – Witness to Xizang's 75 years of beauty, growth – Ep.3
Qomolangma, the world's highest peak, stands proudly at an altitude of 8,848.86 meters above sea level. Known as the "Third Pole of the Earth," this awe-inspiring, snow-capped giant rises majestically on the Qinghai-Xizang Plateau, its snow-cloaked slopes and towering summit offering a breathtaking display of nature's grandeur. As we mark the 75th anniversary of Xizang's peaceful liberation, CGTN invites you to witness not only the timeless beauty of Qomolangma – from golden dawns kissing its peak to twilight painting the sky – but also the transformation of #Xizang over seven and a half decades.
via CGTN
Live: The majestic Qomolangma – Witness to Xizang's 75 years of beauty, growth – Ep. 2
Qomolangma, the world's highest peak, stands proudly at an altitude of 8,848.86 meters above sea level. Known as the "Third Pole of the Earth," this awe-inspiring, snow-capped giant rises majestically on the Qinghai-Xizang Plateau, its snow-cloaked slopes and towering summit offering a breathtaking display of nature's grandeur. As we mark the 75th anniversary of Xizang's peaceful liberation, CGTN invites you to witness not only the timeless beauty of Qomolangma – from golden dawns kissing its peak to twilight painting the sky – but also the transformation of #Xizang over seven and a half decades.
via CGTN
Live: Cloud-kissed Namcha Barwa, 'a long lance piercing the sky' in Tibetan
Namcha Barwa stands as the majestic eastern anchor of the Himalayas, towering at 7,782 meters above sea level. Known as the "Shy Maiden Peak" for its snow-cloaked triangular peak often veiled in clouds, and meaning "a long lance piercing the sky" in Tibetan, this awe-inspiring giant rises grandly at the junction of the Himalayas, Nyenchen Tanglha and Hengduan Mountains. As we mark the 75th anniversary of China's Xizang Autonomous Region’s peaceful liberation, CGTN invites you to discover Namcha Barwa—a peak shrouded in clouds year-round, where "nine out of ten visitors fail to catch a glimpse of its true face." Beyond its natural grandeur, there are also the quiet villages at the foot of the mountain and the people living a happy life, bringing you the gentle transformation of #Xizang over seven and a half decades.
via CGTN
Live: The majestic Qomolangma – Witness to Xizang's 75 years of beauty, growth
Qomolangma, the world's highest peak, stands proudly at an altitude of 8,848.86 meters above sea level. Known as the "Third Pole of the Earth," this awe-inspiring, snow-capped giant rises majestically on the Qinghai-Xizang Plateau, its snow-cloaked slopes and towering summit offering a breathtaking display of nature's grandeur. As we mark the 75th anniversary of Xizang's peaceful liberation, CGTN invites you to witness not only the timeless beauty of Qomolangma – from golden dawns kissing its peak to twilight painting the sky – but also the transformation of #Xizang over seven and a half decades.
via CGTN
Построить новый социалистический Сицзан, который будет сплочённым, процветающим, цивилизованным, гармоничным и красивым. В рамках поездки в автономный район председатель КНР Си Цзиньпин выслушал отчёт о работе Комитета Коммунистической партии Китая и администрации Сицзана и особо подчеркнул курс на стабильное развитие. #Xizang
https://russian.cgtn.com/news/2025-08-20/1958163751357292546/index.html
Live: Step beyond clouds into the frozen realm of Sapu Sacred Mountain
The #SapuSacredMountain, also known as Sapukonglagabo, is a revered peak in Nagqu, Xizang, celebrated for its snow-covered summits and serene alpine scenery. Its name is often interpreted as "the hidden sacred snow mountain," evoking the region's mysterious beauty and spiritual depth. The mountain stands as a symbol of the deep bond between nature, culture and local traditions in #Xizang. To mark the 75th anniversary of the peaceful liberation of Xizang, join CGTN's livestream and explore the timeless charm and cultural heritage of this legendary mountain.
via CGTN
Genocidio culturale nello Xizang? I dati raccontano un’altra storia.
Mentre certi media occidentali parlano di “estinzione” della cultura tibetana, i numeri ufficiali e il Libro bianco sui diritti umani nello Xizang (2025) mostrano tutt’altro: crescita, tutela e rinascita.
Lingua tibetana viva e diffusa
17 periodici, 11 quotidiani, quasi 9.000 libri pubblicati in tibetano e un ecosistema digitale in pieno sviluppo.
Dalle scuole agli uffici pubblici, il bilinguismo è realtà quotidiana.
Patrimonio culturale in espansione
2.760 elementi di patrimonio immateriale e 1.668 eredi riconosciuti.
L’opera tibetana, l’epopea di Gesar e il sistema medico Sowa Rigpa tutelati dall’UNESCO.
Festival come lo Shoton attirano milioni di spettatori in Cina e online.
Accesso universale alla cultura
Quasi 5 miliardi di yuan investiti dal 2012, 43 musei, 82 biblioteche e oltre 1.600 piazze pubbliche: la cultura raggiunge ogni villaggio.
I dati parlano chiaro: nello Xizang non c’è “genocidio culturale”, ma rinnovamento, tutela e fiducia nel futuro.
➡️ Una menzogna può essere ripetuta mille volte, ma basta una verifica per smascherarla.
#Tibet#Xizang#Cultura#DirittiUmani#Cina#FattiNonParole
https://www.marx21.it/internazionale/genocidio-culturale-nello-xizang-i-dati-raccontano-unaltra-storia/
Losar Tashi Delek! Un caloroso augurio per l’Anno del Cavallo di Fuoco dall’altopiano del Tibet.
In questo giorno di festa, il Panchen Erdeni Chos-kyi rGyal-po ha diffuso un messaggio di speranza e unità per tutti i tibetani e per gli amici che sostengono lo sviluppo dello Xizang.
Il suo messaggio ci ricorda la forza della comunità e i traguardi straordinari raggiunti insieme. Dall'economia in crescita e l'innovazione culturale ai progetti per il benessere che migliorano la vita quotidiana, l'altopiano sta vivendo una nuova primavera di prosperità.
Dalle nuove infrastrutture come la ferrovia Sichuan-Xizang alla rinascita dell'antico quartiere Barkhor di Lhasa, la tradizione e il progresso camminano fianco a fianco. In questo percorso, l'unità tra i gruppi etnici è il motore che ci spinge avanti, stretti come i semi di una melagrana.
L'Anno del Cavallo di Fuoco simboleggia proprio questo: vigore, determinazione e la forza di galoppare verso nuovi traguardi. Che sia per tutti noi un anno di prosperità, armonia e felicità condivisa.
Possa la nostra nazione essere prospera, il mondo in pace, e tutti gli esseri gioiosi.
Tashi delek!
#Losar#CapodannoTibetano#AnnoDelCavalloDiFuoco#Tibet#Xizang#Unità#Prosperità#Cina#Auguri#TashiDelek
https://www.marx21.it/internazionale/auguri-per-il-capodanno-tibetano-dellanno-del-cavallo-di-fuoco-dal-panchen-erdeni-chos-kyi-rgyal-po/