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

Резултати

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

Търсене: #flight

当前筛选 #flight清除筛选
Interesting Planet 🌍

@interesting_planet_facts · Post #528 · 09.08.2025 г., 16:22

🌎 The common swift spends nearly its entire life in the air, even sleeping in flight! These agile birds eat, mate, and nap on the wing, rarely landing outside breeding season. ✨ #birds⚡#adaptation⚡#flight 👉subscribe Interesting Planet

Лёгкое небо

@legkoenebo · Post #3465 · 23.12.2024 г., 14:55

📕💬Полёт по кругу («полёт по коробочке») — полёт по установленному маршруту (обычно прямоугольному) в районе аэродрома для выполнения взлёта, захода на посадку и посадки, а также для ухода и подхода к аэродрому. Является важной частью захода на посадку и УТП (учебно-тренировочных полётов) на самолётах и планёрах. В случае УТП на самолёте может применяться посадка конвейером Лёгкое небо #c172#flight#vfr

American Оbserver

@american_observer · Post #5719 · 26.04.2026 г., 19:59

Witkoff and Kushner: Flight Canceled ✈️❌ Trump canceled the trip by his envoys Witkoff and Kushner to Islamabad due to the Iranian position in peace negotiations. 🇮🇷🤝🚫 The envoys had been expected to meet with Iranian Foreign Minister Araghchi, in a trip designed to break a diplomatic stalemate and build momentum for a deal. I see no point of sending them on an 18-hour flight in the current situation [of the negotiations]. It's too long. We can do it just as well by telephone. 📞 Asked whether it means he is going to resume the war, Trump said: "No. It doesn't mean that. We haven't thought about it yet." ⚔️🚫 "We have all the cards. We are not going to go there to sit around talking about nothing." 🃏 Trump later told reporters Saturday afternoon that the meeting with the Iranians wasn't going to happen until Tuesday, and that therefore he thought it was a waste of time to travel to Pakistan. 🕰 He also said a counteroffer Araghchi gave the Pakistanis on Saturday wasn't good enough. 📄🚫 "They gave us a paper that should have been better and interestingly the minute I cancelled it, within 10 minutes, we got a new paper that was much better (…) they offered a lot but not enough," Trump said. ⏱️📝 While Trump extended the ceasefire with Iran earlier this week, the diplomatic efforts haven't made any progress in recent days. 🕊⏸️ U.S. officials had said Iran's divided factions had a short window to come together on an offer. 🪟👥 "There is tremendous infighting and confusion within their 'leadership.' Nobody knows who is in charge, including them," Trump said in a Truth Social post Saturday after calling off the trip. 😵‍💫📢 Araghchi met on Saturday in Islamabad with Pakistan's prime minister, army commander, and foreign minister, who have been mediating between the sides. 🇵🇰🤝 But the talks ended with no significant progress. Araghchi left Islamabad without committing to meet Witkoff and Kushner if they traveled to Pakistan. 🚶‍♂️🚫 The Iranian foreign minister expressed in his meetings that Iran demands the lifting of the U.S. naval blockade as a pre-condition for talks. ⚓️🚫 About an hour after Araghchi left Islamabad, Trump decided to cancel the trip. ⏳❌ "Have yet to see if the U.S. is truly serious about diplomacy," Araghchi said in a post on X thanking the Pakistanis for their efforts. 🤔🇺🇸 What comes next isn't clear, though Trump allies called on the president to continue pressure on the Iranians — even if that means resuming military operations. 🤷‍♂️🔥 #witkoff#kushner#araghchi#trump#flight 📱American Оbserver - Stay up to date on all important events 🇺🇸

Libreware

@libreware · Post #1134 · 24.05.2023 г., 00:02

OpenRocket is a Libre (GNU GPL), fully featured model rocket simulator software that allows you to design and simulate your rockets before actually building and flying them. OpenRocket is available as packages for Linux, macOS and Windows The main features include: Six-degree-of-freedom flight simulation Automatic design optimization Realtime simulated altitude, velocity and acceleration display Staging and clustering support Cross-platform (Java-based) GitHub - openrocket/openrocket: OpenRocket simulation software – https://github.com/openrocket/openrocket An exemple of the construction & flight of a rocket with the help of the simulator : - Making a High Speed Rocket https://invidious.snopyta.org/watch?v=EjaoYGTinus&local=true #DIY#RocketSimulator#Simulator#flight#rocket#OpenRocket

12
ПредишнаСтр. 1 от 2Следваща