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

Резултати

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

Търсене: #capella

当前筛选 #capella清除筛选
Новый Космос

@newspacecorp · Post #796 · 11.05.2025 г., 13:47

IonQ приобрела производителя радарных спутников Capella Space Американская компания IonQ, занимающаяся квантовыми вычислениями, заключила соглашение о покупке Capella Space — американской компании, создающей спутники радарного наблюдения Земли. Финансовые условия сделки не разглашаются. Закрытие сделки ожидается во второй половине 2025 года. Это приобретение направлено на реализацию амбициозного плана IonQ по созданию первой в мире космической сети квантового распределения ключей (quantum key distribution, QKD) — технологии, обеспечивающей не поддающуюся взлому связь для государственных и коммерческих пользователей. Основанная в 2015 году, IonQ специализируется на разработке аппаратного и программного обеспечения для квантовых вычислений. В отличие от обычных компьютеров, хранящих данные в бинарном виде, квантовые компьютеры используют законы квантовой механики и способны выполнять сложнейшие вычисления в разы быстрее традиционных систем. Одним из наиболее ожидаемых применений является квантовое распределение ключей, позволяющее выявлять и предотвращать попытки перехвата шифровальных ключей. Интерес IonQ к Capella связан не только со спутниковым оборудованием. Capella имеет доступ к засекреченным контрактам и управляет объектами с высоким уровнем секретности, что может открыть для IonQ путь к военному и разведывательному рынкам. Покупка Capella сопровождается отдельной сделкой, в рамках которой IonQ приобретает Lightsynq Technologies — стартап из Бостона, создавший первый работающий квантовый повторитель. Повторители являются ключевым элементом для увеличения дальности квантовой связи, которая в настоящее время ограничена сравнительно короткими расстояниями. Кроме того, IonQ подписала меморандум о взаимопонимании с южнокорейской компанией Intellian Technologies — производителем антенн и шлюзов для спутниковой связи. Это партнерство направлено на поддержку физической инфраструктуры будущей квантовой сети распределения ключей, включая связь “спутник-земля” и “спутник-спутник”. Генеральный директор Capella Фрэнк Бэкс (Frank Backes) заявил, что квантовые технологии “могут революционизировать космические операции, обеспечив сверхнадежную связь для передачи данных между платформами с беспрецедентным уровнем безопасности”. По его словам, спутники Capella будут интегрированы с квантовыми возможностями IonQ, что позволит “улучшить аналитику, сенсоры и безопасность как для коммерческих приложений, так и для глобальных миссий в области обороны и разведки. Источник #capella#SAR#США#квант

Новый Космос

@newspacecorp · Post #645 · 09.10.2024 г., 11:45

Радарные спутники миссии Transporter-11 Особенностью миссии SpaceX Transporter-11 стало то, что подавляющее большинство из 116 полезных нагрузок находилось в транспортно-пусковых контейнерах Exolaunch, ISISpace, D-Orbit ION, Maverick Space Systems и SEOPS. Десять спутников, в том числе британский Tyche, о котором мы рассказывали, размещались отдельно. В контейнере Exolaunch были запущены: 🛰спутник Capella-15 (Capella Acadia 5) массой 160 кг, и четыре 🛰спутника компании ICEYE — X33/39/40/43 — массой 90 кг каждый. Среди них первый из семи спутников, изготовленных для компаний Bayanat и Yahsat из Объединенных Арабских Эмиратов. Отдельно выведены на орбиту 🛰 аппарат QPS-SAR-8 (Amateru-IV) японской компании iQPS, и два 🛰 спутника Umbra 9 и 10 одноимённой американской компании. Все космические аппараты выведены на орбиту высотой 590 км. 📸Развёртывание антенны спутника Amateru-Ⅳ на фоне Земли (источник). #SAR#япония#capella#umbra#iceye#ОАЭ

Лизинг. Впервые это понятие пришло ко мне не из сферы автомобилей. Пришло из музыки. Это когда человек написал инструментал и даёт его погонять разным исполнителям. Русским, американским. А если это делает сибиряк, то это Рома Cvpellv. Он открылся для меня в томской группе "Забытый полк". Затем появилось объединение Diamond Style Production (DSP). Оказалось, что наши продюсеры и битмейкеры могут делать музыку, которая одинаково хорошо звучит и с русскими, и с английскими куплетами поверх. Не важно, Kristina Si это или Freddie Gibbs. Рома Capella — человек, который может сказать: "сидел я как-то со Снуп Догом на студии...", — и это будет не понтами, а обычной историей из жизни. Вообще интересно посмотреть за профессией битмейкер. Вот один из выпусков "По классике" с Ромой. Рома уникум. Может органично звучать в рэпе, электронщине. Отдельное удовольствие то, как на его биты начинает звучать наша попса. Ну и лайвы на akai mpc, конечно, удивительно заходят даже мне, который всегда был за текстоцентричность. #cvpellv#capella#биты#заполк#dsp#плейлист#электро#instrumental#внк Вопросик на контроле