TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #ramadan2024
@gusmusgusmu · Post #5707 · 19.03.2024 г., 12:04
Youtube #JimatRamadan 08 | KH Ahmad Mustofa Bisri – Doa Agar Diberi Kepintaran dan Tidak Merugikan #JimatRamadan 08 | KH Ahmad Mustofa Bisri – Doa Agar Diberi Kepintaran dan Tidak Merugikan #gusmuschannel#gusmus#doa#sunnah#ramadan#ramadhan#ramadan2024#ramadhan2024#dakwah#kajianislam
@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
@gusmusgusmu · Post #5681 · 14.03.2024 г., 13:13
Youtube 03. KIMIYA'US SA'ADAH - KH. A. Mustofa Bisri | PASAN 2024 Ngaji Pasanan Kitab Kimya'us Sa'adah hari kedua, malam Kamis, 13 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 #5675 · 13.03.2024 г., 12:59
Youtube 02. KIMIYA'US SA'ADAH - KH. A. Mustofa Bisri | PASAN 2024 Muqaddimah Ngaji Pasanan Kitab Kimya'us Sa'adah, malam Rabu, 12 Maret 2024. #gusmuschannel#gusmus#kajianramadhan#ramadhan#ramadan#ramadan2024#ramadhan2024#dakwah#ngajionline#ramadanmubarak
@gusmusgusmu · Post #5701 · 18.03.2024 г., 05:08
Youtube #JimatRamadan 07 | KH Ahmad Mustofa Bisri – Doa Terlindung dari Penyakit Berbahaya Tak ada orang yang ingin sakit. Dalam video #JimatRamadan ketujuh ini, KH Ahmad Mustofa Bisri (Gus Mus) menyampaikan doa yang pernah Rasulullah baca. Doa tersebut memiliki faedah agar seseorang terlindung dari penyakit berbahaya. Semoga bermanfaat. #gusmuschannel#gusmus#doa#islam#kajianislam#dakwah#sunnah#ramadan#ramadan2024#ramadhan#ramadhan2024#jimatramadan
@gusmusgusmu · Post #5801 · 09.04.2024 г., 10:26
Youtube KH A Mustofa Bisri: Ijazah Wirid dari Rasulullah dan dari Gus Mus #doa #gusmus #dakwah #sunnah #JimatRamadan 29 | KH Ahmad Mustofa Bisri | Ijazah Wirid dari Rasulullah dan dari Gus Mus #gusmuschannel#gusmus#gusmusterbaru#doa#doasunnah#sunnah#dakwah#kajianislam#ramadhan#ramadan#ramadan2024#ramadhan2024#jimatramadan#dakwahislam#ramadankareem#ramadanmubarak
@gusmusgusmu · Post #5799 · 09.04.2024 г., 10:26
Youtube #JimatRamadan 29 | KH Ahmad Mustofa Bisri | Ijazah Wirid dari Rasulullah dan dari Gus Mus #JimatRamadan 29 | KH Ahmad Mustofa Bisri | Ijazah Wirid dari Rasulullah dan dari Gus Mus #gusmuschannel#gusmus#gusmusterbaru#doa#doasunnah#sunnah#dakwah#kajianislam#ramadhan#ramadan#ramadan2024#ramadhan2024#jimatramadan#dakwahislam#ramadankareem#ramadanmubarak