@MyGovCoronaNewsdesk · Post #12497 · 08.04.2023 г., 15:10
#AatmanirbharBharat#IndianRailway#UnityInDiversity#EkBharatShreshthaBharat
TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #unityindiversity
@MyGovCoronaNewsdesk · Post #12497 · 08.04.2023 г., 15:10
#AatmanirbharBharat#IndianRailway#UnityInDiversity#EkBharatShreshthaBharat
@ebcnewsnow · Post #52343 · 12.03.2026 г., 18:15
ምክትል ጠቅላይ ሚኒስትር ተመስገን ጥሩነህ በኢትዮጵያ ኢንቨስትመንት ሆልዲንግስ የኢፍጣር መርሐ ግብር ላይ ተሳተፉ ***************** ምክትል ጠቅላይ ሚኒስትር ተመስገን ጥሩነህ በኢትዮጵያ ኢንቨስትመንት ሆልዲንግስ (EIH) አዘጋጅነት በተከናወነው የኢፍጣር መርሐ ግብር ላይ በመገኘት ከመንግሥት ከፍተኛ አመራሮች፣ ከኢንቨስትመንት አጋሮችና ከእምነቱ ተከታዮች ጋር በአንድነት አሳልፈዋል። ምክትል ጠቅላይ ሚኒስትሩ በማህበራዊ ትስስር ገፃቸው ባስተላለፉት መልዕክት፤ በእስልምና አስተምህሮ አብሮ መብላትና መረዳዳት ትልቅ ሥፍራ የሚሰጠው እሴት መሆኑን ገልጸው፤ “ጎረቤቱ ርቦት እርሱ ጠግቦ የሚያድር ከኛ አይደለም” የሚለው የነቢዩ መሐመድ (ሰ.ዐ.ወ) አስተምህሮ ለሰው ልጅ ክብር መስጠትን፣ ርኅራኄንና የጋራ ደስታን በተግባር መተርጎም እንደሚገባ የሚያሳይ ሕያው የሕይወት ስንቅ መሆኑን አብራርተዋል። የዕለቱ የኢፍጣር መርሐ ግብር የኢትዮጵያን የብዝኃነት ውበት፣ አብሮነትና አንድነት የሚያንጸባርቅ መሆኑን የገለጹት ምክትል ጠቅላይ ሚኒስትሩ፤ በኢኮኖሚው ዘርፍ የሚመዘገበው ስኬት ትርጉም የሚኖረው በታላቅ የፍቅርና የመተሳሰብ ሰንሰለት ተሳስረን ለትውልድ የምትተርፍ ጠንካራ ሀገርን በጋራ መገንባት ስንችል መሆኑን አስገንዝበዋል። ብልጽግና የሚረጋገጠው እንዲህ ባሉ የዳበሩ ማኅበራዊ እሴቶች ጭምር መሆኑን በመጠቆም ለሁሉም የእስልምና እምነት ተከታዮች መልካም የረመዳንና የኢባዳ ጊዜ እንዲሆንላቸው ምኞታቸውን ገልጸዋል። #EBC#Ethiopia#TemesgenTiruneh#Iftar#Ramadan2026#UnityInDiversity
@gusduriannet · Post #2370 · 10.10.2020 г., 16:16
Penandatanganan Piagam Watugong _____________________ Hari ini perwakilan dari elemen masyarakat sipil dan tokoh lintas agama kota Semarang menandatangani "Piagam Watugong". Adapun maksud serta tujuan penandatanganan piagam yang diselenggarakan pada hari Sabtu, 10 Oktober 2020 ini adalah agar bersepaham dan berkomitmen untuk melakukan penguatan atas hal-hal sebagai berikut: 1. Penguatan nilai-nilai Pancasila, UUD 1945, Bhinneka Tunggal Ika, dan Keutuhan Negara Kesatuan Republik Indonesia. 2. Penguatan moderasi beragama dan kepercayaan terhadap Tuhan Yang Maha Esa. 3. Penguatan toleransi, solidaritas kemanusiaan, dan silaturahmi kebangsaan. Semoga dengan penandatanganan piagam hari ini, dapat lebih memperkuat lagi toleransi dan semangat kebhinekaan di Jawa Tengah terlebih khusunya di kota Semarang. Unity In Diversity 🌻 _____________ #jaringangusdurian#gusduriansemarang#semarangdamai#semarang#semarangsekarang#unityindiversity#indonesiarumahbersama#lintasagama#alirankepercayaan
@gusduriannet · Post #2538 · 06.04.2021 г., 02:15
Reposted from @gusduriansemarang Halo sobat GUSDURian! Selamat malam, Gusmin mau kasih kabar gembira nih. Kali ini GUSDURian Semarang bakal mengadakan Kelas Pemikiran Gus Dur (KPG) Daring #5. Kelas Pemikiran Gus Dur (KPG) merupakan kelas yang diadakan oleh Komunitas GUSDURian Semarang untuk menjaring orang-orang yang ingin merawat, meneruskan nilai-nilai, dan mewarisi pemikiran Gus Dur Sang Guru Bangsa Indonesia. Rangkaian kelas Pemikiran Gus Dur (KPG) Daring #5 ini terdiri dari: -Kelas Pemikiran -Kelas Menulis -Kelas Medsos *Seluruh rangkaian kegiatan KPG #5 Daring ini dilaksanakan pada tanggal 10 April-21 Agustus 2021 (secara daring) TIME LINE: Pendaftaran Peserta: 18 Maret - 6 April 2021 Wawancara Daring: 7 April 2021 Pengumuman Peserta: 8 April 2021 Technical Meeting: 9 April Pelaksanaan: 10 April - 21 Agustus 2021 (secara daring) Para peserta yang mendaftar wajib mengikuti seluruh rangkaian acara KPG dan memenuhi syarat & ketentuan yang berlaku. Syarat & Ketentuan: 1. Usia 19-30 tahun 2. Menulis Essay tentang Gus Dur minimal 700-1500 karakter, diketik via ms word, ukuran 12, Font Times New Roman, size A4 atau mengupload video tentang 9 nilai utama Gus Dur durasi min.5 menit. Upload di instagram dengan tag @gusduriansemarang dan dengan tagar #kpgsemarang2021 3. Bersedia mengikuti kegiatan selama kurang lebih 3 bulan secara daring. 4. Berdomisili Semarang & sekitarnya. 5. Bersedia mengikuti follow up setelah KPG berakhir. 6. Acara ini GRATIS, dan terbatas untuk 50 peserta. Segera daftarkan dirimu melalui link berikut: http://bit.ly/KPG5Semarang Atau melalui klik link yang tertera di bio ya! Narahubung: -Syafiq (UIN WS): 085869603185 -Lulu' (Unwahas) : 081338919683 -Nuhab (Unnes) : 08818669414 -Lala (Undip): 085290023210 . . @jaringangusdurian @gusdurian_uinwalisongo@gusdurianunwahas@gusdurian_unnes@gusdurian_undip _____________________________ #jaringangusdurian#gusduriansemarang#kpggusduriansmg#kpgsemarang2021#Semarang#semaranghits#kampusindonesia#kampussemarang#semarangexplore#mahasiswa#mahasiswasemarang#unityindiversity #2021 #kpgdaring#kpgonline#kelasonline#online