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

Резултати

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

Търсене: #charterparty

当前筛选 #charterparty清除筛选

🚢США–Иран: риски для судоходства и последствия для чартеров. Эскалация напряжённости между США и Ираном усиливает правовые и операционные риски для судоходства в Ормузском проливе — ключевом канале, через который проходит около 35% мировой морской торговли нефтью. С февраля фиксируются сообщения о попытках частичного ограничения движения, задержаниях судов и инцидентах с GPS/AIS-глушением и спуфингом. Управление MARAD рекомендовало судам под флагом США избегать иранских территориальных вод и сохранять активные AIS-транспондеры. На фоне роста военного присутствия США в регионе (включая авианосную группу USS Abraham Lincoln) повышается вероятность инцидентов. С точки зрения английского права, возможная блокада или атаки на суда могут активировать положения о «war risks» в чартер-партиях, включая стандартные оговорки BIMCO CONWARTIME и VOYWAR. Даже без формальной блокады угрозы и попытки принудительного захода в территориальные воды могут квалифицироваться как военный риск, что даёт сторонам определённые контрактные права и обязанности. Дополнительный фактор — AIS/GPS-спуфинг. Хотя его квалификация как «war risk» менее однозначна, системные кибер- и радиоэлектронные вмешательства повышают навигационные риски, могут повлечь отклонение маршрутов и увеличение страховых премий. Пролив остаётся открытым, однако совокупность геополитических, правовых и навигационных факторов усиливает неопределённость для фрахтователей, судовладельцев и страховщиков. 📌BIMCO (Baltic and International Maritime Council) — международная судоходная ассоциация, основанная в 1905 году, разрабатывает стандартизированные чартерные формы и оговорки, включая CONWARTIME и VOYWAR. Организация является независимой некоммерческой структурой, финансируемой членами. #Hormuz#WarRisks#Charterparty#MaritimeLaw#ShippingRisk

English Law Report

@enlawreport · Post #1776 · 14.11.2025 г., 09:55

Получил позавчера запрос на сопровождение арбитража в Лондоне по очередному бункеровочному делу. И снова та же картина, которую я вижу уже много лет: судно эксплуатируется без законных полномочий, фрахтователь давно лишён права распоряжения, договор расторгнут, но судно продолжает ходить, будто ничего не случилось. Потом прилетает заявка на бункер, поставщик честно выполняет работу, а через месяц компания-фрахтователь уходит в банкротство. Счёт остаётся висеть в воздухе. И каждый раз передо мной один и тот же вопрос: кто в итоге несёт ответственность? Кто должен платить за топливо, которое судно фактически съело? Фрахтователь? Слишком поздно. Стивидор? Не тот случай. Судовладелец? «Мы не знали». Но судно работало, топливо использовало, выгоду получило именно оно. Вот здесь и проявляется сила английского права. Оно не покупается на формальные фразы. Оно смотрит на факты. Если судно получило выгоду — а владелец не предпринял реальных шагов остановить незаконную эксплуатацию — арбитраж по LMAA вполне может возложить ответственность на владельца. Через доктрину unjust enrichment и implied acceptance английское право умеет доставать истинного выгодоприобретателя даже из-под слоя формальной «невиноватости». Такие проекты — отличная иллюстрация, почему арбитраж в Лондоне остаётся самым надёжным инструментом в спорах о бункеровке, чартерпати и морских поставках. Он позволяет вытащить деньги даже там, где на первый взгляд их будто бы невозможно вернуть. Если у вас похожая ситуация: — судно ушло во фрахт и исчезло из зоны контроля, — фрахтователь не платит, — судовладелец дистанцируется, — арест невозможен, — юрисдикции разные и всё кажется тупиком, значит, это уже не обычный долг. Это арбитражный кейс, и его нужно вести правильно. Я помогаю таким поставщикам, судовладельцам и операторам структурировать стратегию, собирать доказательства, запускать арбитраж в Лондоне, получать решение и взыскивать долг — даже если должник ушёл в банкротство, а судно продолжает работать в другой части света. Если у вас похожая история — напишите. Такие вопросы лучше решать быстро и грамотно, пока следы ещё не остынут. #EnglishLaw#Arbitration #LMAA#MaritimeLaw #Bunkering#ShippingDisputes #UnjustEnrichment#LondonArbitration#Charterparty #MaritimeClaims#DebtRecovery #LegalStrategy