TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #eidmubarak
@lootbaba_officiall · Post #30454 · 31.03.2025 г., 16:33
🌛✨ Celebrate the joy of Eid with love, peace, and blessings! May this festive occasion bring happiness, prosperity, and togetherness to you and your loved ones. 🕌💖#EidMubarak
Hashtags
@investinuzb · Post #779 · 02.05.2022 г., 03:00
#eidmubarak
Hashtags
@ebcnewsnow · Post #52492 · 20.03.2026 г., 05:17
የፕሬዚዳንት ታዬ አጽቀ ሥላሴ ለዒድ አል-ፈጥር በዓል ያስተላለፉት የእንኳን አደረሳችሁ መልዕክት ******************** የኢፌዴሪ ፕሬዚዳንት ታዬ አጽቀ ሥላሴ ለ1447ኛው ዒድ አል-ፈጥር በዓል የእንኳን አደረሳችሁ መልዕክት አስተላልፈዋል። ፕሬዚዳንቱ በማኅበራዊ ትስስር ገጻቸው ባስተላለፉት የመልካም ምኞት መልዕክት፤ ለመላው የእስልምና እምነት ተከታዮች ለዒድ አል-ፈጥር በዓል እንኳን በሰላም አደረሳችሁ ብለዋል። በዓሉ የሰላም፣ የአንድነት፣ የፍቅርና የመተሳሰብ እንዲሆንም መልካም ምኞታቸውን ገልጸዋል። Ethiopian Broadcasting Corporation #EBCDOTSTREAM#EidMubarak#Ethiopia
@gusduriannet · Post #2084 · 23.05.2020 г., 11:57
Keluarga besar Jaringan GUSDURian Indonesia mengucapkan selamat hari raya Idulfitri 1441 H #EidMubarak, mohon maaf lahir dan batin. Di hari kemenangan ini semoga kita semua selalu diliputi keberkahan dan dimudahkan segala urusan. Tentu banyak rencana-rencana yang tertunda karena dua bulan terakhir kita berusaha #dirumahaja. Semoga semua perjuangan diganti dengan keberkahan bulan Ramadhan dan Idul Fitri 1441 H.
Hashtags
@ebcnewsnow · Post #52484 · 20.03.2026 г., 04:30
1447ኛው የዒድ አል-ፊጥር በዓል በድምቀት እየተከበረ ነው ****** 1447ኛው የዒድ አል ፊጥር በዓል በመላው ኢትዮጵያና በዓለም ዙሪያ በሚገኙ የእስልምና እምነት ተከታዮች ዘንድ በዛሬው ዕለት በድምቀት እየተከበረ ይገኛል። ላለፉት 30 ቀናት በረመዳን ፆም፣ በጸሎትና በበጎ ተግባራት የቆየው ሙስሊሙ ማኅበረሰብ፤ የበዓሉን አከባበር የጀመረው የእምነቱ ግዴታ የሆነውን ዘካተል ፊጥርን በመፈጸም ሲሆን ቀጥሎ ዛሬ ረፋድ የዒድ ሶላትን በጋራ በመስገድ ይሆናል። በአዲስ አበባ የሚገኘው የእምነቱ ተከታይም የበዓሉን ሶላት ለመስገድ ከማለዳው ጀምሮ ወደ አዲስ አበባ ስታዲየም እያመራ ይገኛል። በስታዲየሙ የሚከናወነው የዒድ ሶላት የኢትዮጵያ ብሮድካስቲንግ ኮርፖሬሽን (ኢቢሲ) በቀጥታ ስርጭት ለተመልካቾች ያደርሳል። የኢትዮጵያ እስልምና ጉዳዮች ጠቅላይ ምክር ቤት ቀደም ብሎ ባስተላለፈው መልእክት፤ በዓሉ በነቢያችን ሙሐመድ (ሰ.ዐ.ወ) ፈለግ፣ በታላቅ እስላማዊ አዳብና በጨዋነት እንዲከበር ጥሪ ማቅረቡ ይታወሳል። ለመላው የእስልምና እምነት ተከታዮች እንኳን ለ1447ኛው የዒድ አል-ፊጥር በዓል በሰላም አደረሳችሁ። ዒድ ሙባረክ! #EthiopianBroadcastingCorporation#EBCDOTSTREAM#EidMubarak#Ethiopia
@ncdcgov · Post #4624 · 20.03.2026 г., 13:54
🌙✨ Eid Mubarak to all Nigerians From all of us at the Nigeria Centre for Disease Control (NCDC) we wish our Muslim brothers and sisters a joyful and peaceful Eid Mubarak celebration. May this special occasion bring happiness, renewed strength, and blessings to you and your loved ones. As we celebrate, let’s continue to uphold the values of compassion, unity, and care for one another. Remember to celebrate safely and prioritize your health and wellbeing. Eid Mubarak! #EidMubarak#PublicHealth HealthyLiving #NCDCNigeria
@Dogdata · Post #2316 · 31.07.2020 г., 17:09
Happy #EidMubarak Best wishes for all DogData Muslim Community Thank you for your kind support 🙏 #DogData#Dogs#EidMubarak 🤩🚀📈😍🤩🚀📈😍🤩🚀📈
Hashtags
@ncdcgov · Post #4459 · 30.03.2025 г., 10:56
Eid Mubarak from all of us at NCDC! 🌙✨ As we celebrate this joyous occasion, let’s remember to prioritize our health and well-being: ✅ Eat and drink in moderation ✅ Stay hydrated, especially in the heat ✅ Practice good hygiene and handwashing ✅ Ensure proper food handling to prevent infections Wishing you a happy, healthy, and safe Eid! 💙 #EidMubarak#StayHealthy#NCDCNigeria
@baykartech · Post #2334 · 30.03.2025 г., 06:38
🌙 Birliğimiz daim, #RamazanBayramı’mız mübarek olsun. #EidMubarak
Hashtags
@baykartech · Post #2888 · 20.03.2026 г., 05:33
BAYKAR Ramazan Bereketi! 🌙✈️ Bu Ramazan’da da uçuş, atış ve performans testlerimizle semalarda iz bıraktık. #RamazanBayramı'mız mübarek olsun. 💐 Ramadan Blessings at Baykar! 🌙✈️ This Ramadan, too, we left our mark on the skies — with flight, firing, and performance tests. #EidMubarak💐 #MilliTeknolojiHamlesi🌍🇹🇷
@artelelectronics · Post #289 · 12.05.2021 г., 23:59
🌙Muborak Ramazon oyi so'nggidagi Ramazon hayiti bayrami bilan tabriklaymiz! 💫Bayram har bir xonadonga iliqlik va quvonch, ahillik va farovonlik, tinchlik va totuvlik olib kelsin! ✨Mustahkam sog'liq, hayrli amallar va niyatlaringiz ro'yobini tilaymiz! Siz va yaqinlaringizga tinchlik va omonlik yor bo'lsin! __________ 🌙Поздравляем Вас с праздником Рамазан-Хайит, знаменующим завершение благословенного месяца Рамадан! 💫Пусть праздник принесет в каждый дом тепло и радость, согласие и благосостояние, мир и благополучие! ✨Желаем Вам крепкого здоровья, добрых деяний и намерений! Гармонии и мира Вам и Вашим близким! #Artel#ArtelUzb#EidMubarak#РамазанХайит
@ncdcgov · Post #4381 · 16.09.2024 г., 11:13
🌙#EidElMaulud Mubarak Nigerians! In the spirit of togetherness, let us continue to prioritise the health and well-being of our family, friends and communities. May this season continue to bring peace, good health, and blessings to all. #EidMubarak!
Hashtags