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

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

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

Hashtags

#dev

Резултати

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

Търсене: #shaef

当前筛选 #shaef清除筛选

От Альп до Рейна

@begleita · Post #336 · 30.03.2020 г., 11:56

Намери подобни Прегледай

Продолжим отклоняться от объявленной темы. Как, возможно, кто-то уже слышал, третьего дня появилось известие о смерти министра финансов Гессена Томаса Шефера. Как изволили объяснить его коллеги со страниц немецких СМИ, это определенно был суицид. Человек много работал, подготавливая финансовые меры для спасения гессенской экономики во время пандемии коронавируса, надорвался и покончил с собой. «Расходимся, тут не на что смотреть». Альтернативной публике предлагается альтернативная версия, придуманная скучающими на карантине посетителями Форчана. Я ее, честно говоря, не понял, но ознакомиться с ней мы можете в ближайшем Твиттере по хештегам #QAnon и #SHAEF (схожесть последнего тега с фамилией покойного министра особенно взволновала изнывающих от безделья анонов с имиджборд). Там что-то про тайное вторжение США в Европу, освобождение европейцев от гнета Ротшильдов и Тунбергов и тому подобное. То есть, Шефера убил Джей Си Дентон и, скрипя потертым плащом, скрылся на черном вертолете, оставив мерцающий химтрейл до самой границы земного диска. А где находится американское военное командование в Европе? В столице Гессена Висбадене. Дело раскрыто! Посмеявшись над неуклюжими попытками конспирологов по ту сторону Атлантики объяснить смерть Шефера, давайте встанем на их место и, шутки ради, тоже подумаем – что здесь может быть не так? Согласно официальным сообщениям, утром в субботу полиция получила сообщение о не подающем признаков жизни мужчине на железнодорожных путях под Хоххаймом (это возле Висбадена). Позже в погибшем опознали гессенского министра. После чего в прессе объявили, что это был суицид, и даже рассказали о предсмертном письме (правда, раскрывать его содержание власти предусмотрительно не стали). Быть министром финансов Гессена дело непростое, кто же спорит. Воду из Майна можно использовать вместо утреннего кофе – столько кокаина туда сливают франкфуртские банкиры. Так что, конечно, почему бы и нет: подписал человек указ о поддержке пострадавшего от COVID бизнеса, выделил два миллиарда евро – и бросился под поезд. А нет, не бросился. Железнодорожные пути Шефер выбрал с умом – его нашли на рельсах, по которым ходят европейские «атомные паровозики»™, ICE. 300 км/ч и похороны в закрытом гробу. Вот только никакого поезда-то не было. Учитывая, что причину смерти сообщать тоже не торопятся, можно пофантазировать и предположить, что дело было так: - Шефера убили и уложили на рельсы, ожидая, что ICE сделает свое дело. Бросаться под поезд – вполне типичный для Германии способ самоубийства. Вот только люди, заметавшие таким образом следы, плохо знали немецкие реалии. «Поезда ходят строго по расписанию» – это не про Германию; те же ICE даже в мирное время опаздывают или вовсе отменяются. А сейчас большую часть рейсов вообще сняли. Так что неудивительно, что первым Шефера нашел какой-то малодушный нарушитель карантина, а не скоростной экспресс. В самом деле, зачем решившему покончить с собой министру, добираться до окраины мелкого города и спускаться на железнодорожные пути, чтобы в итоге умереть не от поезда? Рядом же Франкфурт, столько небоскребов на выбор! (еще отчего-то вспоминается биография Роммеля. Человек много работал, подготавливая Атлантический вал для отражения высадки союзных войск. Как известно, надорвался и покончил с собой)

Hashtags

#qanon #shaef