Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области.
Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него.
"Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!"
Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее.
Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то.
С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше.
Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс.
В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков.
#dev
💰#DеньгиDревних
| Веспасиан: как спасти империю от банкротства — и ввести налог на мочу
Когда в 69 году н.э. Веспасиан стал императором, Римская империя была на грани финансового коллапса. Гражданские войны, расточительство Нерона и разгул коррупции опустошили казну. По словам историка Светония, в государственной сокровищнице оставалось менее 1 000 золотых монет — сумма, смехотворная для державы, управлявшей 60 миллионами человек.
Веспасиан, выходец из плебейской семьи (его отец был сборщиком податей), подошёл к кризису не как политик, а как практик и финансист. Он понимал: чтобы восстановить порядок, нужно не только сократить расходы, но и найти новые источники дохода — даже самые неожиданные.
🔸 Налог на всё: от проституции до… мочи
Одним из самых известных решений Веспасиана стало введение vectigal urinae — налога на сбор мочи. В Древнем Риме урина использовалась повсеместно:
— в прачечных ( fullonicae ) — как отбеливатель благодаря аммиаку,
— в кожевенных мастерских — для дубления,
— даже в стоматологии — как антисептик.
Сборщики выкупали право на установку общественных писсуаров ( latrinae ), а затем продавали содержимое ремесленникам. Веспасиан обложил эту цепочку государственным налогом.
Когда его сын Тит возмутился: «Разве можно брать деньги за такую мерзость?» — император поднёс ему монету и спросил: «Пахнет ли она?» Получив ответ «нет», произнёс фразу, ставшую крылатой:
«Pecunia non olet» — «Деньги не пахнут».
🔸 Финансовая реформа как стратегия выживания
Помимо «налога на мочу», Веспасиан:
— вернул в казну конфискованные при Нероне земли,
— ввёл плату за использование дорог и портов,
— наладил систему аренды государственных шахт и карьеров,
— отказался от дорогостоящих зрелищ, заменив их полезными проектами — например, начал строительство Колизея на доходы от добычи в Иудее.
Его подход был прост: каждый актив должен приносить доход. Даже отходы.
🔸 Результат: от банкротства — к процветанию
К моменту смерти в 79 г. н.э. Веспасиан оставил сыну полную казну, стабильную налоговую систему и империю, в которой снова работала экономика. Его реформы стали основой для «золотого века» Антонинов.
Мораль:
Сегодня вы платите за подписку на стриминг, доставку еды и облачное хранилище.
Веспасиан бы просто ввёл налог на ваш Wi-Fi — и сказал: «Деньги не пахнут. Особенно если они спасают цивилизацию».
#DD