TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #kill
@lsposed_Modules_Updates_Trackers · Post #6799 · 27.04.2026 г., 20:00
#Kill#Henry_ZHR 模块：moe.henry_zhr.kill_domain_verification 简介：Kill Domain Verification 版本：4-4 更新时间：2022/09/17 11:45:14 更新日志： Avoid using XposedBridge.log for non-error message @lsposed_Modules_Updates_Trackers | @lsposed_Geeks_Bot
Hashtags
@american_observer · Post #4974 · 27.01.2026 г., 16:00
Trump Does Not Shy Away From His Plan to Topple Down Khamenei The US is weighing precision strikes on "high-value" Iranian officials and commanders who it deems responsible for the deaths of protesters, a Gulf official familiar with the discussions told Middle East Eye. The strikes could come as early as this week, but that timeline could shift, MEE was told on Monday. Discussions within the administration have been described as “chaotic”, with a debate over what the repercussions will be in terms of Iranian retaliation. The Trump administration has toyed with attacking Iran for nearly a month on the pretext of the brutal crackdown on demonstrators that has seen thousands killed by government security forces. After calling on demonstrators to "take over" state institutions, President Donald Trump backed down and said the “killing has stopped”. Trump’s decision to de-escalate came as Gulf states, namely Saudi Arabia, Qatar and Oman, lobbied against strikes. While some reports framed Trump's remarks as drawing a curtain on US intervention, former US officials and analysts told MEE they appeared to signal a pause. Trump moved up and down the escalation ladder in a similar fashion with Venezuela, before finally ordering an attack on the Latin American country that resulted in Maduro's abduction and detention in the US. A former US intelligence official told MEE that their understanding of conversations within the administration is that Trump has not given up on pushing for “regime change” in Tehran. A former US official told MEE that the US has been working to replenish supplies of missile interceptors exhausted during the 12-day war with Iran in June and that “total supplies” had moved up. The US is still constrained, as it provides supplies to Ukraine. US Central Command said on Monday that the Abraham Lincoln aircraft carrier was in the Middle East after sailing from the South China Sea. “We have a big force going toward Iran. I’d rather not see anything happen, but we’re watching them very closely,” Trump said on Thursday evening on his return to Washington from Davos, Switzerland. The Abraham Lincoln carries F-35 warplanes and F/A-18 jet fighters, in addition to EA-18G Growler electronic-warfare planes. It is also accompanied by guided-missile destroyers. Open-source flight trackers have also reported that the US has built up a squadron of F-15 warplanes at Muwaffaq Salti Air Base in Jordan. The build-up of warplanes in Jordan would give the US options, as Gulf states have imposed a ban on the US using their airspace or facilities to launch strikes on Iran, current and former US and Arab officials told MEE. That ban has been in place since April 2025, MEE first reported. #trump#kill#khamenei#iran#US 📱American Оbserver - Stay up to date on all important events 🇺🇸
@BadvolfNews · Post #32 · 19.04.2022 г., 11:55
While in #Lugansk People's Republic (formerly Ukraine), I got to watch as their forces disabled the #mines placed by the #Ukrainian army; mines meant to #kill the civilians that were sent to repair the electrical power plant.
Hashtags