@The2ndDim · Post #1207 · 03.02.2020 г., 14:11
#投稿#bug#crash
TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #crash
@The2ndDim · Post #1207 · 03.02.2020 г., 14:11
#投稿#bug#crash
@voir_yeux · Post #11857 · 22.02.2026 г., 07:58
🇷🇺 Situation sur le lieu du crash de l'hélicoptère Robinson R44 dans la région de l'Amour (Extrême-Orient russe). Les premières investigations sont terminées, a indiqué le Comité d'enquête de Russie. #russie#hélicoptère#crash
Hashtags
@voir_yeux · Post #12283 · 27.03.2026 г., 10:53
🇺🇸 Trois personnes ont perdu la vie et deux ont été blessées dans le crash d’un hélicoptère utilisé pour des excursions touristiques sur l’île de Kauai, dans l’État américain d’Hawaï, informe le site Hawaii News Now. #hawaï#crash#bilan
@voir_yeux · Post #12726 · 29.04.2026 г., 16:03
🇦🇺 Deux personnes ont perdu la vie et dix autres ont été blessées lors du crash d'un avion léger près de l'aéroport de Parafield, en Australie, a indiqué la police. #australie#avion#crash
Hashtags
@voir_yeux · Post #12243 · 24.03.2026 г., 08:16
🇨🇴Le nombre de victimes de l'accident du Hercules C-130 survenu dans le sud de la Colombie s'élève désormais à au moins 66 morts. Un précédent bilan faisait état de 34 victimes. #colombie#avion#crash
@voir_yeux · Post #12235 · 23.03.2026 г., 21:49
Un avion Hercules C-130 de l'armée de l'air colombienne, transportant plus d'une centaine de militaires, s'est écrasé, rapporte le média Caracol. Le ministre de la Défense, Pedro Sanchez, a confirmé l'accident, sans toutefois préciser le nombre de passagers. Vidéo: Mauricio Vanegas/X #colombie#avion#crash
@voir_yeux · Post #12565 · 17.04.2026 г., 06:36
🇮🇩 Dans la province indonésienne du Kalimantan occidental, un hélicoptère dont la disparition avait été signalée la veille s’est écrasé. Les huit personnes à bord ont été tués, a rapporté la police locale. #indonésie#hélicoptère#crash
Hashtags
@voir_yeux · Post #11670 · 09.02.2026 г., 13:03
🇰🇷 Images du lieu du crash d'un avion militaire en Corée du Sud. #coréésud#avion#crash
@testflightynoti · Post #38231 · 14.05.2026 г., 08:45
#Crash#Buddy#Debug#crash#logs Join the Crash Buddy - Debug crash logs beta on ✈️#TestFlight 🔗 Link: https://testflight.apple.com/join/tp96uCpD Shared by Dimitri
@voir_yeux · Post #11925 · 28.02.2026 г., 07:02
🇧🇴✈️ Un avion C-130 Hercules des forces armées boliviennes s'est écrasé sur une route dans la ville d'El Alto et a percuté plusieurs voitures, ont rapporté les médias locaux. À la suite de cet incident, quinze personnes sont mortes et 28 ont été blessées. Sept des huit membres d'équipage sont vivants et ont été transportés à l'hôpital, le huitième est porté disparu, a signalé le chef des pompiers, Pavel Tovar. Lors de sa chute de l'avion, les nouveaux billets qu'il transportait pour la Banque centrale se sont éparpillés. Selon le président de la Banque centrale du pays, David Espinoza, ces billets n'ont pas cours légal, car ils n'ont pas encore été enregistrés par la Banque centrale. #bolivie#avion#crash#victimes
@voir_yeux · Post #11520 · 28.01.2026 г., 15:13
🇮🇳Le vice-ministre en chef de l'État du Maharashtra, Ajit Pawar, a péri dans le crash d'un avion, a rapporté le journal Indian Express, citant la direction générale de l'aviation civile. L'avion s'est écrasé à l'atterrissage à l'aéroport de Baramati. Quatre autres personnes sont également décédées. #inde#avion#crash#ministre
@revheadcrypto · Post #62 · 08.07.2024 г., 13:58
Such a tragic incident, but thankfully the driver came out unharmed 🙏 Hennessy Venom F5 met with an accident while testing at speeds just below 400 km/h on the runway of Kennedy Space Center. The primary aim of the test was to evaluate new aerodynamic details. Regrettably, the crash occurred due to these enhancements: at approximately 386 km/h, the 1817-horsepower Venom F5 took flight and somersaulted several times. While the test prototype suffered damage, the driver remained uninjured. #Hennessy#VenomF5#Crash#HighSpeedTesting#Auto🚗✈️