TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #doasunnah
@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
@gusmusgusmu · Post #5797 · 08.04.2024 г., 11:51
Youtube KH A Mustofa Bisri: Doa yang Dibaca Rasulullah ketika Keadaan Genting #doa #gusmus #dakwah #sunnah #JimatRamadan 28 | KH Ahmad Mustofa Bisri: Doa yang Dibaca Rasulullah ketika Keadaan Genting #gusmuschannel#gusmus#gusmusterbaru#doa#doasunnah#sunnah#dakwah#kajianislam#ramadhan#ramadan#ramadan2024#ramadhan2024#jimatramadan#dakwahislam#ramadankareem#ramadanmubarak
@gusmusgusmu · Post #5795 · 08.04.2024 г., 11:51
Youtube #JimatRamadan 28 | KH Ahmad Mustofa Bisri: Doa yang Dibaca Rasulullah ketika Keadaan Genting #JimatRamadan 28 | KH Ahmad Mustofa Bisri: Doa yang Dibaca Rasulullah ketika Keadaan Genting #gusmuschannel#gusmus#gusmusterbaru#doa#doasunnah#sunnah#dakwah#kajianislam#ramadhan#ramadan#ramadan2024#ramadhan2024#jimatramadan#dakwahislam#ramadankareem#ramadanmubarak
@gusmusgusmu · Post #5793 · 07.04.2024 г., 09:30
Youtube KH A Mustofa Bisri: Doa Agar Mendapat Kejutan dari Allah #doa #gusmus #dakwah #sunnah #short #JimatRamadan 27 | KH Ahmad Mustofa Bisri | Doa Agar Mendapat Kejutan dari Allah #gusmuschannel#gusmus#gusmusterbaru#doa#doasunnah#sunnah#dakwah#kajianislam#ramadhan#ramadan#ramadan2024#ramadhan2024#jimatramadan#dakwahislam#ramadankareem#ramadanmubarak
@gusmusgusmu · Post #5791 · 07.04.2024 г., 09:30
Youtube #JimatRamadan 27 | KH Ahmad Mustofa Bisri | Doa Agar Mendapat Kejutan dari Allah #JimatRamadan 27 | KH Ahmad Mustofa Bisri | Doa Agar Mendapat Kejutan dari Allah #gusmuschannel#gusmus#gusmusterbaru#doa#doasunnah#sunnah#dakwah#kajianislam#ramadhan#ramadan#ramadan2024#ramadhan2024#jimatramadan#dakwahislam#ramadankareem#ramadanmubarak
@gusmusgusmu · Post #5779 · 04.04.2024 г., 15:53
Youtube #JimatRamadan 24 | KH A Mustofa Bisri | Doa Agar Tak Merasa Besar Diri, Tapi Dianggap Besar Lainnya #JimatRamadan 24 | KH A Mustofa Bisri | Doa Agar Tak Merasa Besar Diri, Tapi Dianggap Besar Lainnya #gusmuschannel#gusmus#gusmusterbaru#doa#doasunnah#sunnah#dakwah#kajianislam#ramadhan#ramadan#ramadan2024#ramadhan2024#jimatramadan#dakwahislam#ramadankareem#ramadanmubarak
@gusmusgusmu · Post #5775 · 03.04.2024 г., 12:40
Youtube #JimatRamadan 23 | KH Ahmad Mustofa Bisri | Ingin Bertambah Baik dalam Semua Kondisi? Ini Doanya #JimatRamadan 23 | KH Ahmad Mustofa Bisri | Ingin Bertambah Baik dalam Semua Kondisi? Ini Doanya #gusmuschannel#gusmus#gusmusterbaru#doa#doasunnah#sunnah#dakwah#kajianislam#ramadhan#ramadan#ramadan2024#ramadhan2024#jimatramadan#dakwahislam#ramadankareem#ramadanmubarak
@gusmusgusmu · Post #5771 · 02.04.2024 г., 15:45
Youtube #JimatRamadan 22 | KH Ahmad Mustofa Bisri: Doa Agar Dikumpulkan dengan Para Nabi Video ke-22 #JimatRamadan ini, KH Ahmad Mustofa Bisri menyampaikan doa agar dikumpulkan dengan para Nabi. Bagaimanakah bunyi doa tersebut? #gusmuschannel#gusmus#gusmusterbaru#doa#doasunnah#sunnah#dakwah#kajianislam#ramadhan#ramadan#ramadan2024#ramadhan2024#jimatramadan#dakwahislam#ramadankareem#ramadanmubarak
@gusmusgusmu · Post #5767 · 01.04.2024 г., 14:40
Youtube #JimatRamadan 21 | KH Ahmad Mustofa Bisri: Doa Ini Sangat Komplet! Di video ke-21 #JimatRamadan kali ini, KH Ahmad Mustofa Bisri (Gus Mus) menyebutkan bahwa doa ini sangat komplet. Bagaimana bunyi doa tersebut? #gusmuschannel#gusmus#gusmusterbaru#doa#doasunnah#sunnah#dakwah#kajianislam#ramadhan#ramadan#ramadan2024#ramadhan2024#jimatramadan#dakwahislam#ramadankareem#ramadanmubarak
@gusmusgusmu · Post #5763 · 31.03.2024 г., 09:23
Youtube #JimatRamadan 18 | KH Ahmad Mustofa Bisri: Doa Agar Diberi Selamat Dunia Akhirat Semua pastinya ingin selalu dalam keadaan selamat, baik itu saat menjalani kehidupan di dunia maupun akhirat. Video ke-20 #JimatRamadhan berikut berisi doa agar diberikan selamat dunia dan akhirat. #gusmuschannel#gusmus#gusmusterbaru#doa#doasunnah#sunnah#dakwah#kajianislam#ramadhan#ramadan#ramadan2024#ramadhan2024#jimatramadan#dakwahislam#ramadankareem#ramadanmubarak
@gusmusgusmu · Post #5787 · 06.04.2024 г., 15:06
Youtube #JimatRamadan 26 | KH Ahmad Mustofa Bisri | Doa Penghargaan kepada Allah #JimatRamadan 26 | KH Ahmad Mustofa Bisri | Doa Penghargaan kepada Allah #gusmuschannel#gusmus#gusmusterbaru#doa#doasunnah#sunnah#dakwah#kajianislam#ramadhan#ramadan#ramadan2024#ramadhan2024#jimatramadan#dakwahislam#ramadankareem#ramadanmubarak#lailatulqadar#lailatulqadr