TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #springer
@MLB_Daily · Post #15982 · 21.10.2025 г., 12:08
🚨 𝐅𝐈𝐍𝐀𝐋 🏟 Rogers Centre, Toronto 🏆 ALCS 🗓 20/10/ Juego 7 🔱 Mariners 3️⃣🔤4️⃣ Blue Jays 🐦 ✅ V: Kevin Gausman (2-1) ❌ D: Eduard Bazardo (1-1) 🛡 SV: Jeff Hoffman (2do) 💥 HR: Julio Rodríguez (4to) 🔱, Cal Raleigh (5to) 🔱, George Springer (4to) 🐦 ⭐️🐦 MVP: George Springer (1-3, HR de 3 carreras para la victoria) #️⃣#PlayOffs25#MarinersBlueJays#Springer 🗞 | t.me/MLB_Daily
@MLB_Daily · Post #16290 · 04.12.2025 г., 18:34
🐦🐦✅🇵🇷 #️⃣#Arenado#Springer#TeamPuertoRico#WBC26 🇨🇺 | t.me/PasionCubana
@MLB_Daily · Post #16329 · 10.12.2025 г., 01:48
🐦🐦🐯 Carlos Beltrán anunció que George Springer, Nolan Arenado y Riley Greene han sido invitados a jugar por Puerto Rico en el Clásico Mundial de Béisbol 2026 🇵🇷 #️⃣#TeamPuertoRico#Springer#Arenado#RGreene#WBC26 🗞 | t.me/MLB_Daily
@science_100k20 · Post #78 · 10.08.2023 г., 09:10
Speed-dating c издателем🔥 Хотим представить вашему вниманию нашу новую рубрику, в которой мы будем знакомить с международными издательствами. Обещаем, скучно не будет 😉 История Springer Nature берет свое начало в 1842 году, когда Юлиус Шпрингер основал книжный магазин и издательство в Берлине. Изначально Шпрингер сфокусировался на политических публикациях, сейчас в арсенале компании присутствуют журналы и книги по естественным наукам, инженерии и медицине. Вот уже более 20 лет Springer Nature является пионером в области «открытой науки» и «открытого доступа» (ОА), стремясь прийти к тому, чтобы рецензируемые исследования незамедлительно попадали в открытый доступ и могли использоваться во благо человечества и науки. Среди прочих международных издательств, публикующих исследования исключительно в открытом доступе, Springer Nature имеет самый высокий средний показатель цитируемости статей. Ссылка на источник #знакомствосиздателем#Springer#Nature#публикации#открытыйдоступ
@agirussianews · Post #2410 · 27.01.2026 г., 07:32
🔥СРОЧНО! ДЕДЛАЙН ПО АБСТРАКТАМ — 1 ФЕВРАЛЯ 2026!🔥 ⏰Осталось всего несколько дней! Коллеги, напоминаем о приближающемся дедлайне по подаче абстрактов на международную конференцию MathAI 2026! 📅Крайний срок: 1 февраля 2026, 23:59 (London time) 🚀 ДЕЙСТВУЙТЕ ПРЯМО СЕЙЧАС: 👉 Подайте абстракт на OpenReview: https://openreview.net/group?id=mathai.club/MathAI/2026/Conference 📥 Скачать шаблон: https://mathai.club/files/mathai2026.zip 💎 ПОЧЕМУ ЭТО ВАЖНО? ✅Публикация в престижных журналах: • Journal of Mathematical Sciences, Springer (сейчас обсуждаются вопросы по публикациям) • Доклады РАН (под ред. академика А.Л. Семенова) (выборочно, лучшие статьи) • Siberian Advances in Mathematics (под ред. академика С.С. Гончарова) (выборочно, лучшие статьи) • Журнал "Системная Информатика" (можно публиковать!) • Mathematics of AI (новый журнал IAIC) (можно публиковать!) • Mathematics of AI (новый журнал IAIC) (можно публиковать!) • Экономическая наука современной России (обсуждается подготовка спецвыпуска трудов конференции) ✅Часть журналов входит в БЕЛЫЙ СПИСОК и часть индексируется в Scopus! ✅Для лучших работ: • Бесплатное проживание в Сириусе • Завтраки включены ✅Процесс как в ICLR/ICML/NeurIPS: • Открытое рецензирование на OpenReview • Прозрачный процесс отбора • Публичное обсуждение работ 🔬 Тематические направления: Математическая логика • Теория алгоритмов • Теория вероятностей • Методы оптимизации • Теория доказательств • Дифференциальные уравнения • Теория игр для LLM и диффузионных моделей 📍 Конференция: 30 марта – 3 апреля 2026 Сириус, Сочи, Россия ⚡ НЕ УПУСТИТЕ ШАНС! Сейчас достаточно подать только абстракт! Полная статья — до 19 февраля 2026. Начните с абстракта — это займёт минимум времени, но откроет все возможности конференции! 🌐 Сайт конференции: https://mathai.club 🌐 Телеграм канал конференции: https://t.me/mathai_club 📧 Вопросы: [email protected] — Президиум конференции: • Академик РАН С.С. Гончаров (председатель) • Академик РАН А.Л. Семенов • Академик РАН Н.А. Колчанов • Член-корр. РАН А.В. Гасников • Член-корр. РИА А.И. Нечесов Не откладывайте! Подайте абстракт сегодня!⏰ #MathAI2026#ДедлайнАбстрактов#OpenReview#Scopus#БелыйСписок#Springer#ДокладыРАН#МатематикаИИ
@driversrussia · Post #3044 · 01.08.2025 г., 10:36
🔈Представляем партнёра главного мероприятия автотранспортной отрасли – Чусовской завод ОМК! Чусовской завод ОМК уже традиционно второй год подряд принимает участие в Конкурсе водительского мастерства от общественной организации "Водители России". 🔗Крепкие партнерские отношения двух организаций нацелены на плодотворное сотрудничество для укрепления и развития автотранспортной отрасли, где главной ценностью являются люди. ☄️Так, для финала конкурса водительского мастерства 16 августа в г. Волгограде Чусовской завод предоставляет призы для участников испытаний, а также подарки посетителям мероприятия. Ищите на празднике представителей завода в брендированной одежде и получайте гарантированные подарки! ❗️Чусовской завод ОМК – крупное промышленное металлургическое предприятие России, ведущий производитель рессорной продукции, и единственный завод в РФ и СНГ, выпускающий рессоры из собственной полосы. ➡️Завод ОМК в городе Чусовом - один из старейших на Урале, основан в 1879 году. Сегодня завод - лидер в области производства рессор и листов к ним для грузовой и легкой коммерческой техники, прицепов, автобусов, пикапов отечественного и иностранного производства. ✔️SPRINGER и ЧУСОВСКАЯ РЕССОРА - бренды автомобильных рессор и листов производства чусовского завода ОМК. Под брендом SPRINGER завод выпускает рессоры для большинства мировых производителей иностранного транспорта, под брендом ЧУСОВСКАЯ РЕССОРА – рессоры для отечественной техники. Ассортимент обоих брендов насчитывает свыше 4 тысяч товарных позиций – рессоры классические многолистовые, современные малолистовые (параболические), рычаги (полурессоры пневмоподвески), рессоры со сложной геометрией, с подрессорником, листы для всей номенклатуры рессор. #КВМЛучшийводительРоссии2025#SPRINGER#ЧУСОВСКАЯРЕССОРА #рессора#авторессора#полурессора#рессорныйлист#стремянкарессоры #ОМКЧусовой#Чусовскойзавод#ЧМЗ Водители России! Подписаться!