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

Резултати

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

Търсене: #ei240

当前筛选 #ei240清除筛选
KNAUF Uzbekistan

@knaufuzbekistan · Post #339 · 10.11.2021 г., 05:00

​​👷‍♂️KNAUF pardevorlari ko'plab ta'mirlash vazifalari uchun universal yechimdir. Biroq sizning holatingizda qaysi komplekt tizimidan foydalangan yaxshiroq ekanligini bilish juda muhim.☝️ Bunday tizimlardan biri S 113 komplekt tizimi – bitta metall karkasda KNAUF-qoplamalaridan yasalgan uch qavat qoplamali pardevor.👌 U konstruksiyaning yong'inga chidamliligini yuqori boʻlishi talab etiladigan xonalar uchun juda mos keladi. (GQP-DF KNAUF-qoplamalaridan foydalanganda).😊 🧐Pardevorning tarkibiga kiruvchi KNAUF-qoplamalar, aslida, namlikning uzoq vaqt bug'lanishi hisobiga o'ziga xos ravishda yongʻindan passiv himoyalangan. ❗️S 113 pardevori EI 240 (daq) yongʻinga chidamlilik chegarasiga ega bo'lib, bu vaqt yong'in sodir bo'lganda xonani xavfsiz tark etish, shuningdek o't o'chiruvchilar kelguniga qadar binoning saqlanib qolishi uchun yetadi. ❗️Rw – 56 dB gacha bo'lgan tovush izolyatsiyasi indeksi esa, sizga butun diqqatingizni ishga, o'qishga yoki shunchaki sevimli kitobingizni xotirjam o'qishga qaratish imkonini beradi va hatto sershovqin qoʻshnilar ham sizning kundalik mashgʻulotlaringizga xalaqit bera olmaydi. Texnik xususiyatlar: S 113 komplekt tizimi quyidagilar kiradi: (1) KNAUF-qoplama GQP-A, GQP-H2, GQP-DF, GQP-DFH2 12,5 mm (2) KNAUF profil yo’naltiruvchi 100×40 (3) KNAUF profil ustun PU 100 × 50 (4) Mineral paxtali tovush izolyatsiyasi AkustiKNAUF (KNAUF-Insuleyshn materiallari) (5a) KNAUF burama mixi TN 25 (KNAUF-qoplamalarining birinchi qatlami uchun) (5b) KNAUF burama mixi TN 35 (KNAUF-qoplamalarining ikkinchi qatlami uchun) (5v) KNAUF burama mixi TN 55 (KNAUF-qoplamalarining uchinchi qatlami uchun) (6) KNAUF-Fugen shpaklyovkasi (ulangan joylarni berkitish uchun) (7) KNAUF-Kurt (tasma armaturalovchi) (8) KNAUF-Dyubel-mix 6×40 (9) KNAUF-Dixtungsband (zichlovchi tasma) (10) KNAUF-Tifengrund astar boʻyogʻi (11) KNAUF- profil BH (burchak himoyasi), perforatsiyalangan (12) KNAUF-Trennfiks (tasma ajratuvchi) 💪KNAUF kompleks yechimlari sizning devorlaringiz uchun. - - - - - 👷‍♂️Перегородки КНАУФ являются универсальными решениями для многих задач в ремонте. Но важно знать, какую комплектную систему лучше использовать именно в вашем конкретном случае.☝️ Одна из таких систем это Комплектная система С 113 – перегородка с трехслойными обшивками из КНАУФ-листов на одинарном металлическом каркасе.👌 Она отлично подойдет для помещений, где требуется повышенная огнестойкость конструкции. (При применении КНАУФ-листов ГСП- DF).😊 🧐КНАУФ-листы, входящие в состав перегородок, в принципе уже являются своего рода пассивной защитой от огня благодаря длительному испарению влаги. ❗️Перегородка С 113 с пределом огнестойкости EI 240 (минут), время, которого достаточно, чтобы безопасно покинуть помещение в случае пожара, а так же сохранить здание до приезда пожарных. ❗️А индекс звукоизоляции до Rw – 56 дБ позволит сосредоточиться на работе, обучении или просто спокойном чтении любимой книги и даже шумные соседи не станут помехой для ваших повседневных занятий. Технические характеристики: В состав С 113 входят: (1) КНАУФ-лист ГСП-A, ГСП-H2, ГСП-DF, ГСП-DFH2 12,5 мм (2) КНАУФ-профиль направляющий ПН 100×40 (3) КНАУФ-профиль стоечный ПС 100×50 (4) Минераловатная звукоизоляция АкустиКНАУФ (материал от КНАУФ-Инсулейшн) (5а) КНАУФ-шуруп прокалывающий TN 25 (для первого слоя КНАУФ-листов) (5б) КНАУФ-шуруп прокалывающий TN 35 (для второго слоя КНАУФ-листов) (5в) КНАУФ-шуруп прокалывающий TN 55 (для третьего слоя КНАУФ-листов) (6) Шпаклевка КНАУФ-Фуген (для заделки стыков) (7) КНАУФ-Курт (лента армирующая) (8) КНАУФ-Дюбель-гвоздь 6×40 (9) КНАУФ-Дихтунгсбанд- (лента уплотнительная) (10) Грунтовка КНАУФ-Тифенгрунд (11) КНАУФ-профиль ПУ (углозащитный)перфорированный (12) КНАУФ-Треннфикс (лента разделительная) 💪Комплексные решения КНАУФ для ваших стен. #knaufuzbekistan#fugen#kurt #gqp#s113#с113#ei240#profil