TGTGInsightтелеграм анализLIVE / telegram public index
← Такты, стеки, два колеса

TGINSIGHT SIMILAR POSTS

Намери подобно съдържание

Изходен канал @clockstackwheels · Post #721 · 26.12

Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev

Hashtags

Резултати

Намерени 2 подобни публикации

Търсене: #mahsaday

当前筛选 #mahsaday清除筛选
Reza Pahlavi | رضا پهلوی

@officialrezapahlavi · Post #1186 · 17.07.2023 г., 19:12

هزاران هزار ایرانی به دلایل سیاسی و عقیدتی یا هم‌اکنون در زندان‌های جمهوری اسلامی هستند و یا پرونده‌های باز قضایی دارند. روزی نیست که خبر بازداشت شهروندان فقط به دلیل بیان و نشان دادن اعتراض‌شان منتشر نشود. شماری از فرزندان ایران زیر تیغ اعدام قرار دارند و جان‌شان در خطر فوری است. در چنین شرایطی، تلاش برای نجات و آزادی همه زندانیان سیاسی-عقیدتی فارغ از دیدگاه و گرایش سیاسی‌شان باید در اولویت همه ما باشد. دفاع از حق آزادی کسی که مورد ظلم قرار گرفته و به ناحق زندانی شده، به معنای دفاع از طرز فکر و گرایش سیاسی او نیست. از همه هم‌میهنان می‌خواهم که در کوشش‌های‌شان در دفاع از حقوق مبارزان در بند، به این اصل مهم و کلیدی توجه بیشتری کنند. هم‌چنین از رسانه‌ها و نهادهای حقوق بشری می‌خواهم در بازتاب وضعیت زندانیان سیاسی-عقیدتی بی‌طرفی سیاسی را لحاظ کنند و ازجمله بیش از پیش از آنانی بگویند که متاسفانه در گمنامی به سر می‌برند. همه ما برای روزی تلاش می‌کنیم که دیگر کسی در ایران به دلیل فعالیت سیاسی و یا بیان عقیده و ابراز اعتراضش زندانی نشود و تحت تعقیب قضایی قرار نگیرد. برای رسیدن به چنین روزی -که تنها با سرنگون کردن جمهوری اسلامی ممکن است- امروز باید تفاوت‌های‌مان را در چارچوب اصول مشترک حداقلی‌مان به رسمیت بشناسیم و روی هدف اصلی متمرکز شویم؛ به‌ویژه در این روزها که ایرانیان در داخل و خارج کشور برای #روز_مهسا آماده می‌شوند. Thousands of Iranians currently languish in the Islamic Republic’s prisons or have pending judicial cases against them for political and ideological reasons. There is not a day that we don’t hear news of citizens being arrested merely for protesting. Other Iranian youth are in immediate danger and face the executioner’s blade. In such circumstances, efforts to save and release all prisoners of conscience regardless of their ideology or political orientation, must be our collective priority. Defending the freedom of those who have been oppressed and unjustly imprisoned does not necessarily mean defending their ideology or political orientation. I call on all of my compatriots to consider this key principle in their efforts to defend the rights of our imprisoned fellow citizens. I also call on the media and human rights organizations to consider their political neutrality when covering political prisoners and to tell the stories of those who unfortunately suffer in anonymity. We all strive for the day when no one in Iran will be imprisoned or prosecuted for political activity or the expression of opinion and protest. In order to reach such a day - which is possible only by overthrowing the Islamic Republic - today we must respect ideological differences within the framework of our basic, common principles and focus on our ultimate goal. This is especially critical as Iranians both inside and outside the country prepare for #MahsaDay. @OfficialRezaPahlavi

Обновленный список иранских протестных акций в сентябре 2024 (все еще пополняется). Основной блок акций и др.мероприятий, 14, 15 и 16 сентября: Австралия, Аделаида, 15/09 Австралия, Брисбейн, 14/09 Австралия, Мельбурн, 14/09 Австралия, Сидней, 15/09 Австралия, Хобарт, 15/09 Австрия, Вена, 14/09 Бельгия, Брюссель, 14/09 Великобритания, Лидс, 15/09 Великобритания, Лондон, 15/09 Великобритания, Манчестер, 15,09 Дания, Копенгаген, 14/09 Германия, Берлин, 14/09 Германия, Гамбург, 14/09 Германия, Ганновер, 14/09 Германия, Гёттинген, 16/09 Германия, Дармштадт, 15/09 Германия, Дортмунд, 16/09 Германия, Йена, 14/09 Германия, Кельн, 14/09 и 15/09 Германия, Киль, 13/09 Германия, Констанц, 16/09 Германия, Марбург, 16/09 Германия, Мюнстер, 14/09 Германия, Мюнхен, 16/09 Германия, Нюрнберг, 15/09 Германия, Франкфурт, 14/09 и 16/09 Испания, Барселона, 15/09 Испания, Малага, 14/09 Испания, Мадрид, 15/09 Испания, Фуэнхирола, 16/09 Италия, Венеция, 14/09 Италия, Милан, 14/09 Италия, Рим, 14/09 Италия, Флоренция, 14/09 Канада, Ванкувер, 14/09 и 15/09 Канада, Квебек, 15/09 Канада, Монреаль, 15/09 Канада, Оттава, 15/09 Канада, Торонто, 15/09 Канада, Эдмонтон, 14/09 Кипр, Пафос, 14/09 Люксембург, Люксембург, 14/09 Нидерланды, Амстердам, 14/09 Нидерланды, Гаага, 15/09 Нидерланды, Гронинген, 14/09 Новая Зеландия, Данедин, 21/09 Новая Зеландия, Крайстчерч, 15/09 Новая Зеландия, Окленд, 15/09 Норвегия, Берген, 14/09 Норвегия, Ставангер, 14/09 Норвегия, Осло, 14/09 и 15/09 Португалия, Лиссабон, дата уточняется США, Атланта, 15/09 США, Белвью (Bellevue), WA, 14/09 США, Бойсе, 14/09 США, Бостон, Дедхэм (MA), 14/09 США, Вашингтон, округ Колумбия, 15/09 США, Даллас, 15/09 США, Дейвис (Davis, CA), 15/09 США, Ирвайн (Irvine, CA), 14/09 США, Лос-Анджелес, Вествуд, 15/09 США, Луисвилль (KY), 15/09 США, Миннеаполис (MN), 15/09 США, Нэшвилль (TN), 15/09 США, Нью-Йорк Сити, 15/09 США, Сан-Диего (SC), 15/09 США, Сан-Франциско, 14/09 США, Сиэттл (WA), 14/09 США, Таллахасси (FL), 15/09 США, Филадельфия, 15/09 и 16/09 США, Хьюстон, 15/09 США, Чикаго, 15/09 Финляндия, Тампере, 16/09 Финляндия, Турку, 14/09 Франция, Гренобль, 14/09 Франция, Страсбург, 15/09 Франция, Париж, 15/09 (перед иранской акцией будет также акция в поддержку женщин Афганистана) Швейцария, Женева, 14/09 Швейцария, Цюрих, 15/09 Швеция, Гётеборг, 14/09 Швеция, Мальмё, 14/09 Швеция, Стокгольм, 14/09 (основной митинг) и 15/09 (акция памяти) Список постоянно пополняется. Не все акции проходят под названием "Say her name", это могут быть также "Mahsa Day", "Woman. Live. Freedom" или некоторые другие названия. Если вы знаете об иранских акциях, которых нет в этом списке, дайте мне, пожалуйста, знать. #WomanLifeFreedom#IranProtest#IranRevolution#JusticeForIran#FreeIran#IRGCterrorists#SayHerName#MahsaDay#ЖенщинаЖизньСвобода#СвободуИрану#ИранскийПротест#Иран#МахсаАмини