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

Резултати

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

Търсене: #faktlar

当前筛选 #faktlar清除筛选
NATION

@theuzbeknation · Post #3309 · 08.09.2024 г., 10:17

#tarix#faktlar ❗️ Австрия-Венгрия императори Карл Биринчи, унинг аёли ва қизи. 1916-йил, Вена шаҳри. P.S: Oлдин кофирлар кийиниш борасида мусулмонларга тақлид қилишар эди. Ҳозир эса акси…

NATION

@theuzbeknation · Post #2828 · 17.07.2024 г., 08:31

#tarix#faktlar ❗️ Ушбу архив кадрлари Кавказ ижтимоий тармоқларида тарқатилмоқда: Доғистон 1920 йил. Ушбу тасвирларда аксарият қизлар ва аёллар ниқоб ва бурқа кийишганини кўришимиз мумкин. Таъкидлаш жоизки, ушбу кадрлар ниқоб "Кавказ халқларига хос эмас" дея тарғиб қилаётган ва унга қарши фатво берган Доғистоннинг масҳарабоз муфтийси ҳамда қўғирчоқ ҳукуматига муносиб жавоб бўлди. Асрлар давомида татарлар, бошқирдлар ва Шимолий Кавказ халқлари ниқоб ва ҳижоб кийиб юришган. Аммо ҳозирги ҳоин раҳбарлар бу тарихий фактни инкор этишга интилиб келмоқдалар.

NATION

@nationoffical · Post #4217 · 08.09.2024 г., 10:17

#tarix#faktlar ❗️ Австрия-Венгрия императори Карл Биринчи, унинг аёли ва қизи. 1916-йил, Вена шаҳри. P.S: Oлдин кофирлар кийиниш борасида мусулмонларга тақлид қилишар эди. Ҳозир эса акси…

NATION

@nationoffical · Post #3738 · 17.07.2024 г., 16:20

#tarix#faktlar ❗️ Ушбу архив кадрлари Кавказ ижтимоий тармоқларида тарқатилмоқда: Доғистон 1920 йил. Ушбу тасвирларда аксарият қизлар ва аёллар ниқоб ва бурқа кийишганини кўришимиз мумкин. Таъкидлаш жоизки, ушбу кадрлар ниқоб "Кавказ халқларига хос эмас" дея тарғиб қилаётган ва унга қарши фатво берган Доғистоннинг масҳарабоз муфтийси ҳамда қўғирчоқ ҳукуматига муносиб жавоб бўлди. Асрлар давомида татарлар, бошқирдлар ва Шимолий Кавказ халқлари ниқоб ва ҳижоб кийиб юришган. Аммо ҳозирги ҳоин раҳбарлар бу тарихий фактни инкор этишга интилиб келмоқдалар.

Kanada haqida 15 ta qiziqarli fakt: 🍁🇨🇦 1. *Shimoliy Amerikadagi eng yirik davlat*: Kanada quruqlik boʻyicha dunyoda ikkinchi oʻrinda turadi, Shimoliy Amerikaning taxminan 40% ni egallaydi. 2. *Uzoq qirg‘oq chizig‘i*: Kanada dunyodagi eng uzun qirg‘oq chizig‘iga ega bo‘lib, uzunligi 243 000 km (151 000 milya) dan oshadi. 3. *Ko'p madaniyatli jamiyat*: Kanadada 200 dan ortiq etnik guruhlar yashaydi, bu uni dunyodagi eng ko'p madaniyatli mamlakatlardan biriga aylantiradi. 4. *Rasmiy tillar*: Kanadada ikkita rasmiy til mavjud: ingliz va frantsuz. 5. * Mahalliy xalqlar*: Kanadada 1,6 milliondan ortiq tub aholi bor, bu aholining taxminan 4,9% ni tashkil qiladi. 6. *Maple siropi ishlab chiqarish*: Kanada dunyodagi zarang siropining 70% dan ortig'ini ishlab chiqaradi, Kvebek esa eng yirik ishlab chiqaruvchi hisoblanadi. 7. *Chuchuk suv resurslari*: Kanada dunyodagi chuchuk suv resurslarining taxminan 20% ga ega, 2 milliondan ortiq ko'llar va son-sanoqsiz daryolar. 8. *Togʻlar va vulqonlar*: Kanada turli xil geografiyaga ega boʻlib, Rokki va Appalachi togʻlari kabi togʻ tizmalari, shuningdek, 30 dan ortiq faol va harakatsiz vulqonlar mavjud. 9. *Qutb ayiqlari*: Kanadada 15 000 ga yaqin oq ayiqlar yashaydi, Cherchill (Manitoba) “Dunyoning qutb ayiqlari poytaxti” sifatida tanilgan. 10. *Aurora Borealis*: Kanada Shimoliy Chiroqlarning (Aurora Borealis) eng yaxshi manzaralarini taqdim etadi, xususan Yellounayf, Uaytxors va Cherchillda. 11. *Xokkey Nation*: Xokkey Kanadaning milliy qishki sport turi bo'lib, mamlakat barcha davrlarning eng zo'r xokkeychilarini yetishtirgan. 12. *Tim Hortons*: Tim Hortons, kanadalik qahva va donutlar tarmog'i, Kanada bo'ylab 4000 dan ortiq joylarga ega va sevimli milliy muassasadir. 13. *Kanadaning tug‘ilgan kuni*: Kanada kuni har yili 1-iyulda, 1867-yilda Britaniyaning Shimoliy Amerika to‘g‘risidagi qonuni kuchga kirganligi munosabati bilan nishonlanadi. 14. *BMT Tinchlikni saqlash*: Kanada Birlashgan Millatlar Tashkilotining tinchlikparvar missiyalariga o'z hissasini qo'shishning uzoq tarixiga ega, 1948 yildan beri 120 000 dan ortiq kanadalik tinchlikparvarlar xizmat qilgan. 15. *Ta'lim*: Kanadada dunyoning eng nufuzli universitetlari, jumladan Toronto universiteti va MakGill universiteti mavjud bo'lgan oliy ta'lim tizimi mavjud. #faktlar#Kanada#kanadalik#canadalife#buycanadian#ohcanada