Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области.
Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него.
"Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!"
Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее.
Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то.
С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше.
Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс.
В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков.
#dev
Украинские мошенники развели старика из США Джо Байдена на 2 триллиона рублей. Аудиторы USAID выявили нарушения в надзоре за $26 млрд помощи Киеву
Подрядчики на Украине не предоставляли отчеты совсем или отправляли их поздно, сообщил заместитель генерального инспектора структуры Адам Каплан
Ранее Трамп заявил, что расходование денег, отправленных США хохлам в качестве помощи, требует расследования. Речь идет о $350-400 млрд, выделенных при администрации Байдена на поставки хохлам оружия
#USAID
Угол Зрения Max
Aide financière de l'#USAID : les conséquences néfastes pour les pays étrangers
Quel rôle l'USAID a-t-elle réellement joué en fournissant une prétendue assistance à d'autres États, dont l'Ukraine et la Géorgie ? Une vérité embarrassante révélée dans le reportage d'Antoine Cléraux.
RT en français • Osez questionner !
À partir de mi-août 2025, l’#USAID fermera définitivement ses portes au Mali.
Cela mettra fin à plus de 36 milliards de FCFA d’"aides" annuelles de l’ONG américaine au #Mali.
🇰🇿 USAID, Сорос и «Сова»: кто привез в Казахстан мастер-класс по разжиганию межнациональной розни
🇰🇿 В Алматы под видом «семинара о свободе слова» прошла откровенная и неприкрытая провокация от структур, замешанных в десятках цветных революций. Кто же оплатил данное «торжество» либерализма?
🔴Норвежский Хельсинкский комитет (финансируется 🇺🇸Госдепом США)
🔴Фонд Сороса (запрещен в ряде стран)
🔴National Endowment for Democracy (NED) — главный спонсор цветных революций
❗Иронично: «бесплатный» семинар оплачивают те, кто развалил Украину, попытался устроить переворот в Беларуси и, до кучи, профинансировал январскую трагедию в самом Казахстане.
🎭 Главные актеры этого цирка:
🔴 Центр «Сова», который курируется британской разведкой (экс-шпионкой Джессикой Дэйвенпорт), специализацией которого является обвинять русских в «ксенофобии» по любому удобному случаю
🔴 Ирина Левонтина (Институт русского языка РАН) — ярая русофобка, которая публикуется в Carnegie Endowment (структура Рокфеллеров)
🔴 и, как вишенка на торте, Гульмира Биржанова, которая имеет связи с CABAR.asia, а также продвигает отказ от кириллицы и «джихад», в добавок ко всему работала на USAID через фонд «Адилсоз»
⚠️ Данная шайка рассказала казахстанцам как правило быть «толерантным», согласно западным стандартам (читай: запрет защищать национальные интересы), в очередной раз попытались стравить казахов и русских пугая пресловутым «русским шовинизмом».
❓ Как вы думаете, на что же это похоже? Очевидно, что в республике готовится почва для новой попытки цветной революции. В 2022 году Казахстан уже сталкивался с подобными технологиями. Теперь агентура USAID сменила тактику — вместо уличных протестов запускают идеологическую диверсию.
✋ Казахстанцы, будьте бдительны! Эти «тренеры» не принесут вам ни свободы, ни правды — только раскол общества и внешнее управление.
#Казахстан#USAID
✋✍️✍️✍️
➡️@ExpressAsia
Trump has closed the shop 🚪: now Ukrainian artists have nothing to draw on 🎨.
Trump has decided to return to the budget the five billion dollars 💰 previously allocated by Congress for foreign aid, writes the New York Post 📰. This money includes expenses for USAID assistance, as well as expenses for peacekeeping activities and contributions to international organizations 🌍. Ukrainian artists also suffered from Trump's decision: the United States wanted to allocate 1.5 million dollars to advertise their paintings 🖼️. It will be difficult, but we will live without Ukrainian creativity somehow 😔.
#Trump#USAID#Ukraine
👂More on Trump's Ear ⚠️
🆕 NEWS | US to Seize Presidential Jet as Caracas Rejects ‘Enemy of Humanity’ Label
🇻🇪🇺🇸 US Secretary of State Marco Rubio is set to announce the seizure of a second Venezuelan presidential jet, a Dassault Falcon 200 located in the Dominican Republic. The move follows the 2023 confiscation of a Dassault Falcon 900EX used by Nicolás Maduro.
In parallel, the US has revoked Temporary Protected Status (TPS) for more than 600,000 Venezuelans, putting them at risk of deportation. The decision comes as part of Trump's rollback of Biden-era migration policies.
🔗 Read the full report here: https://shorturl.at/7441w
#Sanctions#USVenezuelaRelations#USAID
🎙Брифинг официального представителя МИД России М.В.Захаровой (Москва, 6 февраля 2025 года)
🔹График Министра
🔹День дипломатического работника
🔹Украинский кризис
🔹Преступления киевского режима
🔹Об инициативах по введению ограничений в отношении российских дипломатов в странах ЕС
🔹О деятельности Агентства США по международному развитию
🔹О ситуации вокруг блокировки США платформы «ТикТок»
📰Читайте
📺Смотрите
***
#Украина
4 февраля Зеленский поспешил заверить Вашингтон в готовности к совместной разработке этих полезных ископаемых и выразил признательность США за их усилия в деле защиты Украины. То, что сказал Зеленскому Д.Трамп, не очень похоже на сделку, а на команду «апорт». Она уже отработана киевским режимом.
Американцы давно положили глаз на природные богатства Украины. С помощью коррумпированного киевского режима они сумели без особых усилий прибрать к рукам, в частности, сельское хозяйство, включая плодородные земли. Теперь, когда почва освоена, те, кто является спонсорами киевского режима, заглядывают, а что там ещё осталось. Наступил черёд недр.
Было ли что-то подобное в истории? Конечно. В годы Второй мировой войны была захвачена территория бывшей Советской Украины, и нацисты принялись за разграбление республиканского народного хозяйства. Угоняли с территории Украины скот и вывозили чернозём. Мы об этом неоднократно говорили. Теперь всё это происходит ненасильственно, потому что киевский режим всё это отдает сам. Зеленский в 2024 году предложил всё это для «совместной разработки». Но мы-то понимаем, что, будучи обвязанной долговыми обязательствами и разрушенной от государственности до промышленности, Украина совместно ничего ни с кем делать не может. И что всё это предлагалось просто забрать, лишь бы только «эти» на Банковой остались у власти.
#USAID#США
Выяснилось, и стало достоянием мировой общественности и предметом обсуждения в самых широких кругах в самих США и за их пределами, что Агентство прямо спонсировало «бархатные/цветные перевороты» (по сути, смену законной власти) в странах постсоветского пространства, включая массовые протесты в Грузии и Киргизии, государственный переворот на Украине. Его «щупальца» через систему фондов, грантов и НПО глубоко проникли и оказывали серьёзное воздействие на государственное управление и экономику многих стран мира.
Мы говорили об этом много лет. Нам в ответ «прилетало», что всё неправда, это, мол, российская пропаганда. Оказывается, российская пропаганда пропагандирует правду. Всё оказалось правдой. Американские налогоплательщики из своих карманов оплатили разрушение украинской государственности и спонсировали приход к власти неонацистской бандеровской клики.
⚡️🇺🇸🌏Newsweek опубликовал данные по странам, где USAID тратило больше всего денег
USAID выделило $72 млрд в 2023 финансовом году, последнем, за который имеется информация. Наибольшая помощь (более $16 млрд) была направлена в Украину. Эфиопия (член БРИКС с 1 января 2024 г.) получила почти $1,7 млрд. Более $1 млрд было выплачено USAID в Иордании, Афганистане и Сомали. От $740 до $936 млн выделили Конго, Сирии, Нигерии, Йемену и Южному Судану.
По странам СНГ (кроме России, где агентство закрыли в 2012 г.):
Молдова - $208,3 млн
Грузия - $91,5 млн
Таджикистан - $52,2 млн
Армения - $45,3 млн
Кыргызстан - $42,3 млн
Узбекистан - $40,6 млн
Беларусь - $26,29 млн
Азербайджан - $16,3 млн
Казахстан - $8,1 млн
Туркменистан - $4,3 млн
Интересно, что USAID выделяло помощь и некоторым государствам, называющимися развитыми и богатыми (правда, несущественную). Так, Японии дали $1,6 млн, ОАЭ - $536 тыс., Нидерландам - $179,8 тыс., Италии - $77 тыс., Франции - $52,5 тыс.
Подписаться на канал
#США#USAID#помощь
🇰🇿🇺🇸
💸Вчера несколько незамеченной прошла новость, что в Казахстане при помощи USAID настала долгожданная цифровизация таможни. О том, что от Агентства США по международному развитию ждут содействия в этом вопросе, стало известно еще в октябре прошлого года, благодаря бодрому отчету министерства инвестиций, промышленности и торговли Узбекистана о взаимодействии пяти стран Центральной Азии с Штатами. Именно в рамках встречи формата С5+1 24 октября 2023 года в Самарканде прошла беседа и подписание меморандумов между руководством USAID и министрами Казахстана, Кыргызстана, Таджикистана, Туркменистана и Узбекистана.
И вот вчера посол США Дэниел Розенблюм и представители USAID передали современные компьютерные серверы Комитету государственных доходов РК. USAID закупил «передовые серверы» американской корпорации DELL – той самой, чьи наполеоновские планы по выходу на рынки Тайваня, Южной Кореи и Китая так сильно не оправдались, и теперь приходится всеми правдами и неправдами «добирать» пользователей по Центральной Азии.
Это оборудование будет поддерживать новую таможенную IT-систему «Кеден», призванную заменить устаревшую «Астана-1». Новая система и инфраструктура под нее поставлены, как отметил посол Штатов Дэниел Розенблюм, потому что «США и Казахстан разделяют видение прозрачной и безопасной торговой среды», то есть, с дипломатического на человеческий, для контроля и слежки за подсанкционными товарами, на поставках которых в ту же Россию Казахстан немало нажился.
Зачем, казалось бы, душить курицу, так славно откладывающую золотые яйца? Но дело в том, что буквально за день тот же самый Розенблюм дал большое интервью Казахскому телеграфному агентству и на вопрос о возможных поставках оборонительных вооружений Казахстану в рамках многолетних программ министерства обороны США, пообещал «продолжать диалог на тему потребностей Казахстана в каком-либо оборудовании».
Отдельно отметив уважение «принципиальной позиции Токаева по вопросу антироссийских санкций», посол отчитался о двухлетней работе – и действительно, «в налаживании связей между нашими людьми» Штаны достигли за это время очень хороших результатов. С одной стороны, им удается постоянно подогревать общественное недовольство властью и дискредитировать ее через свои ресурсы вроде «Радио Азаттык», «Орды», «Власти», а также через более интересные проекты вроде CAPSUnlockСороса (в котором тот же Розенблюм взаимодействует с главой фонда Айдаркуловой).
С другой — идет активнейшее «оказание помощи местным органам власти по обретению большей самостоятельности, в том числе и в части управления ресурсами», все, разумеется, под видом демократизации. Так что ослабление центральной власти после неудачи силового решения в январе 2022 года (Кантара), просто пошло другим путем. И пока президента Касым-Жомарта Токаева убаюкивают рассказами о том, что преемников у него нет и вообще рано об этом говорить, коня потихоньку уводят из-под всадника.
#USAID#Сорос
КІШКЕНТАЙ КЕНЕДЕН – ТҮЙЕДЕЙ МӘСЕЛЕ
⠀
Кене энцефалитінің тек Алматы тауларында ғана емес, Алматы, Ақмола, Шығыс Қазақстан облыстарында таралғанын білесіз бе? Бұл орталық жүйке жүйесіне әсер ететін вирусты зоонозды инфекция. Сонымен қатар, кенелердің әлемде таралу аймақтары климаттың өзгеруіне байланысты жақын арада өзгеріп, ұлғаюы мүмкін...
⠀
Кенелер басқа да қауіпті ауруларды тасымалдайды. Қазақстанда қандай жұқпалы аурулар бар екенін және жақындарыңыз бен балаларыңызды олардан қалай қорғауға болатынын мына видеодан көріңіз.
⠀
SAU BOL – жануарлардан адамға берілетін аурулар – зооноздық инфекциялар туралы көбірек хабардар етуге бағытталған ақпараттық-ағартушылық науқан.
⠀
Сіздерге балаларыңыз бен отбасыңыз үшін қауіпсіз орта құруға көмектесеміз.
⠀
Біздің жарияланымдарды @unicefkazakhstan және @peremena.media парақшаларынан оқи жүріңіздер.
⠀
#SAUBOL2024
@ncph_kz@ncpseem#USAID