TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #ramadanmubarak
@djamilityv · Post #2372 · 09.04.2024 г., 09:49
Подобно тому, как в ваших домах зажигался свет в окнах проснувшихся на сухур, мне хочется, чтобы следом этого Рамадана стал свет в ваших сердцах. Пусть будут приняты все искренние молитвы и благие деяния 🤍 С наступающим праздником, до которого остались какие-то считанные часы ✨🌙#ramadanmubarak
Hashtags
@zhest_kaz · Post #1216 · 26.04.2020 г., 10:47
Народ должен знать своих..... #ramadanmubarak
Hashtags
@stateofisraelofficial · Post #4702 · 17.02.2026 г., 17:11
رمضان مبارك It’s the 9th month again. Ramadan, a time of introspection. Wishing all Israel’s Muslim citizens, and our Muslim friends & partners across the Middle East and beyond, a meaningful fast. #RamadanMubarak #RamadanKareem
Hashtags
@slex_io · Post #23 · 23.03.2023 г., 12:52
Dear Muslim community, 🙏 As the holy month of Ramadan begins, the Slavi team would like to extend our heartfelt greetings to you. As you embark on this spiritual journey, remember that "the greatest reward comes with the greatest trials" and that "a little bit of patience and perseverance can go a long way." As you fast during the day and break your fast at night, may you find comfort in the words of the Prophet Muhammad (peace be upon him) who said, "fasting is a shield against evil." And, may you find strength in the beautiful Quranic verse that states, "Allah does not burden a soul beyond that it can bear." 🌟 We hope this month of Ramadan brings you closer to Allah, and may your good deeds and prayers be accepted. "Ramadan Mubarak" to you and your loved ones. Sincerely, The Slavi team. #Slex#CryptoExchange#crypto#RamadanKareem#RamadanMubarak
@gusmusgusmu · Post #5721 · 21.03.2024 г., 09:39
Youtube #JimatRamadan 10 | KH Ahmad Mustofa Bisri – Doa Agar Terhindar dari Perpecahan dan Kemunafikan #JimatRamadan 10 | KH Ahmad Mustofa Bisri – Doa Agar Terhindar dari Perpecahan dan Kemunafikan #gusmuschannel#gusmus#dakwah#doa#sunnah#dakwah#jimatramadan#ramadan#ramadhan#ramadanmubarak#ramadankareem
@gusmusgusmu · Post #5745 · 27.03.2024 г., 05:22
Youtube #JimatRamadan 16 | KH Ahmad Mustofa Bisri – Doa agar Mencintai dan Dicintai Allah #JimatRamadan 16 | KH Ahmad Mustofa Bisri – Doa agar Mencintai dan Dicintai Allah Doa ini merupakan salah satu Doa Nabi Daud 'alaihissalam yg mana menekankan agar bisa dicintai Allah dan mencintai-Nya. Bagaimana bunyi doa tersebut? #gusmuschannel#gusmus#dakwah#videodakwah#ramadan📷#ramadhan#ramadankareem📷#jimatramadan#doa#ramadanmubarak
@gusmusgusmu · Post #5717 · 20.03.2024 г., 12:45
Youtube 09. KIMIYA'US SA'ADAH - KH. A. Mustofa Bisri | PASAN 2024 Ngaji Pasanan Kitab Kimya'us Sa'adah hari ketiga, malam Jum'at, 14 Maret 2024. Informasi pengaosan pasanan 1445 H bersama KH Ahmad Mustofa Bisri: 1. Kimiya'us Sa'adah Bakda Tarawih Live di @GusMusChannel 2. Kasidah Burdah Bakda Subuh Live di @pondokleteh 3. Arba'in Nawawi Bakda Ashar Live di @pondokleteh #gusmuschannel#gusmus#kajianramadhan#ramadhan#ramadan#ramadan2024#ramadhan2024#dakwah#ngajionline#ramadanmubarak
@gusmusgusmu · Post #5711 · 19.03.2024 г., 12:55
Youtube 08. KIMIYA'US SA'ADAH - KH. A. Mustofa Bisri | PASAN 2024 Ngaji Pasanan Kitab Kimya'us Sa'adah hari ketiga, malam Jum'at, 14 Maret 2024. Informasi pengaosan pasanan 1445 H bersama KH Ahmad Mustofa Bisri: 1. Kimiya'us Sa'adah Bakda Tarawih Live di @GusMusChannel 2. Kasidah Burdah Bakda Subuh Live di @pondokleteh 3. Arba'in Nawawi Bakda Ashar Live di @pondokleteh #gusmuschannel#gusmus#kajianramadhan#ramadhan#ramadan#ramadan2024#ramadhan2024#dakwah#ngajionline#ramadanmubarak
@gusmusgusmu · Post #5705 · 18.03.2024 г., 13:04
Youtube 07. KIMIYA'US SA'ADAH - KH. A. Mustofa Bisri | PASAN 2024 Ngaji Pasanan Kitab Kimya'us Sa'adah hari ketiga, malam Jum'at, 14 Maret 2024. Informasi pengaosan pasanan 1445 H bersama KH Ahmad Mustofa Bisri: 1. Kimiya'us Sa'adah Bakda Tarawih Live di @GusMusChannel 2. Kasidah Burdah Bakda Subuh Live di @pondokleteh 3. Arba'in Nawawi Bakda Ashar Live di @pondokleteh #gusmuschannel#gusmus#kajianramadhan#ramadhan#ramadan#ramadan2024#ramadhan2024#dakwah#ngajionline#ramadanmubarak
@gusmusgusmu · Post #5699 · 17.03.2024 г., 12:49
Youtube 06. KIMIYA'US SA'ADAH - KH. A. Mustofa Bisri | PASAN 2024 Ngaji Pasanan Kitab Kimya'us Sa'adah hari ketiga, malam Jum'at, 14 Maret 2024. Informasi pengaosan pasanan 1445 H bersama KH Ahmad Mustofa Bisri: 1. Kimiya'us Sa'adah Bakda Tarawih Live di @GusMusChannel 2. Kasidah Burdah Bakda Subuh Live di @pondokleteh 3. Arba'in Nawawi Bakda Ashar Live di @pondokleteh #gusmuschannel#gusmus#kajianramadhan#ramadhan#ramadan#ramadan2024#ramadhan2024#dakwah#ngajionline#ramadanmubarak
@gusmusgusmu · Post #5693 · 16.03.2024 г., 12:59
Youtube 05. KIMIYA'US SA'ADAH - KH. A. Mustofa Bisri | PASAN 2024 Ngaji Pasanan Kitab Kimya'us Sa'adah hari ketiga, malam Jum'at, 14 Maret 2024. Informasi pengaosan pasanan 1445 H bersama KH Ahmad Mustofa Bisri: 1. Kimiya'us Sa'adah Bakda Tarawih Live di @GusMusChannel 2. Kasidah Burdah Bakda Subuh Live di @pondokleteh 3. Arba'in Nawawi Bakda Ashar Live di @pondokleteh #gusmuschannel#gusmus#kajianramadhan#ramadhan#ramadan#ramadan2024#ramadhan2024#dakwah#ngajionline#ramadanmubarak
@gusmusgusmu · Post #5687 · 15.03.2024 г., 13:08
Youtube 04. KIMIYA'US SA'ADAH - KH. A. Mustofa Bisri | PASAN 2024 Ngaji Pasanan Kitab Kimya'us Sa'adah hari ketiga, malam Jum'at, 14 Maret 2024. Informasi pengaosan pasanan 1445 H bersama KH Ahmad Mustofa Bisri: 1. Kimiya'us Sa'adah Bakda Tarawih Live di @GusMusChannel 2. Kasidah Burdah Bakda Subuh Live di @pondokleteh 3. Arba'in Nawawi Bakda Ashar Live di @pondokleteh #gusmuschannel#gusmus#kajianramadhan#ramadhan#ramadan#ramadan2024#ramadhan2024#dakwah#ngajionline#ramadanmubarak