TGTGInsightтелеграм анализLIVE / telegram public index
← Такты, стеки, два колеса

TGINSIGHT SIMILAR POSTS

Намери подобно съдържание

Изходен канал @clockstackwheels · Post #721 · 26.12

Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev

Hashtags

Резултати

Намерени 4 подобни публикации

Търсене: #guadalupe

当前筛选 #guadalupe清除筛选
Papa & Vaticano - News

@papaevaticanonews · Post #9468 · 24.02.2026 г., 20:07

“L’inculturazione non è una concessione secondaria né una mera strategia pastorale, ma un’esigenza intrinseca della missione della Chiesa”. Lo ha scritto Papa #LeoneXIV nel messaggio – in lingua spagnola – ai partecipanti al Congresso teologico pastorale sull’evento di #Guadalupe, in #Messico. Il testo, datato 5 febbraio e diffuso oggi dalla Sala stampa vaticana, è dedicato al tema dell’inculturazione del Vangelo. Per il Papa “evangelizzare consiste, prima di tutto, nel rendere presente e accessibile Gesù Cristo” e questo annuncio “avviene sempre all’interno di un’esperienza concreta”. “Inculturare il Vangelo – spiega il Pontefice – significa seguire lo stesso cammino che Dio ha percorso: entrare con rispetto e amore nella storia concreta dei popoli perché Cristo possa essere veramente conosciuto, amato e accolto dall’interno della loro stessa esperienza umana e culturale”. Il Santo Padre precisa che “nessuna cultura, per quanto preziosa, può identificarsi senza altro con la Rivelazione né diventare criterio ultimo della fede”. In questa prospettiva, scrive il Papa, Santa Maria di Guadalupe “è una lezione della pedagogia divina sull’inculturazione della verità salvifica. La Morenita manifesta il modo di Dio di avvicinarsi al suo popolo: rispettoso nel suo punto di partenza, intelligibile nel suo linguaggio e fermo e delicato nella sua conduzione verso l’incontro con la Verità piena”. Il Congresso si svolge in vista dei 500 anni dell’apparizione guadalupana.

Культура Латинской Америки: традиции, свет и праздники декабря 1️⃣12 декабря — День Девы Гваделупской: один из самых светлых праздников Мексики Каждый год Мексика наполняется особой атмосферой: миллионы паломников идут в Базилику Гваделупе, чтобы почтить Деву Марию Гваделупскую — символ надежды, защиты и веры. Город наполняется музыкой, цветами и свечами, а семьи устраивают праздничные встречи. Для многих мексиканцев это день благодарности и духовного обновления. 2️⃣Праздничная Богота: главные события и рождественская атмосфера В декабре Богота превращается в город света и праздника. На Plaza de Bolívar проходит яркое шоу Una Ciudad Imaginada, где исторические здания оживают световыми проекциями. В Parque El Tunal — концерты, театральные номера и семейные развлечения. По всему городу идут парады Comparsas, ночные велопрогулки Ciclovía Nocturna, а в Ботаническом саду световая тропа Magia Natural создаёт атмосферу волшебства. В центре города установлена главная рождественская ёлка, украшенная тысячами огней — одно из самых фотографируемых мест декабря. 3️⃣Фиеста де Санто Томас — Чичикастенанго (14–23 декабря) Одна из самых ярких и глубоких культурных традиций Гватемалы. Праздник длится больше недели и достигает пика 21 декабря. Что делает его особенным: ✨религиозные процессии в честь святого Фомы; ✨легендарный танец пало-воладор — юноши спускаются и вращаются с 30-метрового столба; ✨музыка маримбы, традиционные танцы El Torito, Los Mexicanos, El Tzijolaj; ✨ярмарка с изделиями ручной работы, текстилем, тамалес и чучитос. Праздник объединяет католические и майянские традиции — редкое зрелище, которое отражает культурную глубину Гватемалы. 4️⃣Пульке и магуэй: за что борются в мексиканских деревнях В центральной Мексике тлачикерос возрождают древний напиток пульке, делая его из сока магуэя по традиционным методам. Сегодня они защищают: - честное, натуральное производство пульке; - магуэйные поля от вырубки и промышленных проектов; - экологию, ведь магуэй удерживает воду и поддерживает местные экосистемы. Молодёжь возвращается в деревни, чтобы сохранять культуру, развивать ремёсла и туризм. Для них пульке — это не напиток, а символ своих корней и будущего. 5️⃣Семья Альварадо хранит самый старый рождественский вертеп Гватемалы Более ста лет семья Альварадо создаёт один из крупнейших и старейших nacimiento в стране — традицию, начатую в 1916 году. Сегодня композиция включает: 🔹более 200 фигур, 🔹около 20 световых контуров, 🔹и готовится свыше шести месяцев. Это живая история, которую передают уже четырём поколениям — символ семейного наследия и гватемальской культуры. #LatinAmerica#Culture#Mexico#Guadalupe#Pulque#Maguey#Guatemala#КультураЛАТАМ 👉Всегда свежие новости о странах Латинской Америки!

Мексиканские острова: один из самых успешных проектов по восстановлению природы в мире Мексика получила признание от ООН за масштабную программу восстановления экосистем на островах, реализуемую уже почти 30 лет. Проект стал одной из трёх новых флагманских инициатив по глобальному восстановлению, наряду с программами в Испании и Мозамбике. Что сделано: ▪️ Восстановлено 85% колоний морских птиц ▪️ Убрали 60 популяций инвазивных видов (включая коз и диких кошек) ▪️ Восстановлены леса, кустарники и редкие травы ▪️ Разработаны протоколы биобезопасности и охраны экосистем ▪️ Поддержаны местные сообщества и научные группы Один из центральных примеров — остров Гваделупе, на который в XIX веке были завезены дикие козы. За 150 лет они уничтожили 90% леса и всю подлесную флору. После того, как их убрали, было восстановлено более 1000 гектаров леса, а остров снова стал точкой обитания для исчезающих видов. Морские птицы, как индикаторы здоровья океанов, возвращаются на острова благодаря программе. Для привлечения альбатросов использовались макеты птиц, звуки и подкормка птенцов — методика сработала, и колонии начали восстанавливаться. Дикая кошка, также завезённая на острова, стала серьёзной угрозой: отсутствующие у птиц защитные механизмы приводили к массовой гибели. Программа по удалению кошек стала частью комплексной стратегии восстановления баланса. Почему это важно — В Мексике — более 4000 островов, на которых обитает 8% всех наземных позвоночных страны — В 14 раз больше эндемиков, чем на материке — За 100 лет вымерло 20 видов позвоночных — Проект охватывает более 100 000 гектаров островных территорий — Заявка от Мексики выбрана из 200 претендентов из 80 стран Восстановление природы приводит не только к сохранению видов, но и к образованию природных резервов пресной воды, устойчивому туризму и научным открытиям. Это вклад, который выходит за пределы границ — ведь океан принадлежит всем, как подчёркивают экологи. #Мексика#Экология#Острова#Биоразнообразие#UNEP#Природа#Океаны#Guadalupe#Conservación#Endemicos#Sostenibilidad#RestauraciónEcológica 👉Всегда свежие новости о странах Латинской Америки!