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

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

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

Hashtags

#dev

Резултати

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

Търсене: #matholympiad

当前筛选 #matholympiad清除筛选

Русский дом в Афинах | Ρωσικό Σπίτι στην Αθήνα

@russianhouseathens · Post #6436 · 16.02.2025 г., 06:10

Намери подобни Прегледай

🇷🇺Ρώσοι μαθητές κέρδισαν τέσσερα μετάλλια σε μαθηματική Ολυμπιάδα στη Ρουμανία! Η ρωσική ομάδα κατέκτησε δύο χρυσά και δύο αργυρά μετάλλια στην XVI διεθνή μαθηματική Ολυμπιάδα της Ρουμανίας, Master of Mathematics. Οι μαθητές εκτέλεσαν τις εργασίες τους εξ αποστάσεως στο εκπαιδευτικό κέντρο Sirius στο Σότσι. 🥇 Χρυσά μετάλλια απονεμήθηκαν στους: Ivan Chasovskikh, Σχολείο αριθ. 14, Khimki, περιοχή Μόσχας, Ilya Zamotorin, Προεδρικό Λύκειο Φυσικής και Μαθηματικών αριθ. 239, Αγία Πετρούπολη 🥈 Ασημένια μετάλλια απονεμήθηκαν στους: Vasily Patrushev, Σχολείο αριθ. 9 με προχωρημένη μελέτη της κινεζικής γλώσσας, Βλαδιβοστόκ Artem Sadykov, Λύκειο Φυσικής και Μαθηματικών αριθ. 31, Chelyabinsk ✔️ Επικεφαλής της ομάδας ήταν ο Kirill Sukhov, καθηγητής μαθηματικών του Προεδρικού Λυκείου Φυσικής και Μαθηματικών αριθ. 239, ενώ αναπληρωτής του ήταν ο Pavel Kozhevnikov, αναπληρωτής καθηγητής του Ανώτερου Μαθηματικού Τμήματος του Ινστιτούτου Φυσικής και Τεχνολογίας της Μόσχας. Συγχαρητήρια στα παιδιά και στους μέντορές τους! 🇷🇺Российские школьники выиграли четыре медали на олимпиаде по математике в Румынии 👏 Российская команда завоевала 2 золотые и 2 серебряные медали на международной олимпиаде по математике XVI Romanian Master of Mathematics. Школьники выполняли задания в дистанционном формате на базе образовательного центра «Сириус» в Сочи. 🥇 Золотых медалей удостоились: Иван Часовских, школа № 14, г. Химки, Московская область; Илья Замоторин, Президентский физико-математический лицей № 239, г. Санкт-Петербург. 🥈 Серебряные медали получили: Василий Патрушев, школа № 9 с углубленным изучением китайского языка, г. Владивосток; Артем Садыков, Физико-математический лицей № 31, г. Челябинск. ✔️ Руководителем команды стал учитель математики Президентского физико-математического лицея № 239 Кирилл Сухов, его заместителем – доцент кафедры высшей математики Московского физико-технического института Павел Кожевников. 🎉 Поздравляем ребят и их наставников! #Россия#Russia#MathOlympiad#Achievement#MasterofMathematics#ProudMoment

Hashtags

#россия #russia #matholympiad #achievement #masterofmathematics #proudmoment

MEZON Inspiring School

@mezon_school · Post #3325 · 13.01.2026 г., 06:02

Намери подобни Прегледай

🇷🇺 RUS / 🇬🇧 ENG / 🇺🇿 UZB 🧠📐 Математика — это не про заучивание, а про мышление! Продолжаем разбирать задачи олимпиады Mezon прошлого года. Сегодня — пара интересных задач для 4 класса: учимся рассуждать, искать нестандартные ходы и получать удовольствие от процесса 💡 #MezonSchool#МатематическаяОлимпиада #Математика#УчимсяДумать#Логика 🇬🇧 English 🧠📐 Math is about thinking, not memorizing! We continue analyzing problems from last year’s Mezon Math Olympiad. Today we’re working through a couple of problems for Grade 4, focusing on reasoning, creativity, and smart strategies 💡 #MezonMath#MathOlympiad#ElementaryMath #ThinkingSkills#ProblemSolving 🇺🇿 O‘zbekcha 🧠📐 Matematika — yodlash emas, fikrlash haqida! O‘tgan yilgi Mezon matematika olimpiadasi masalalarini tahlil qilishni davom ettiramiz. Bugun — 4-sinf uchun bir nechta qiziqarli masala, mantiqiy fikrlash, noodatiy yechimlar va jarayondan zavqlanishga e’tibor qaratamiz 💡 #MatematikaOlimpiadasi #MantiqiyFikrlash#MasalaYechish

Hashtags

#mezonschool #математическаяолимпиада #математика #учимсядумать #логика #mezonmath #matholympiad #elementarymath #thinkingskills #problemsolving #matematikaolimpiadasi #mantiqiyfikrlash #masalayechish

Русский дом в Афинах | Ρωσικό Σπίτι στην Αθήνα

@russianhouseathens · Post #7396 · 21.07.2025 г., 14:51

Намери подобни Прегледай

🇷🇺 Οι Ρώσοι μαθητές κατέκτησαν 6 μετάλλια στη Μαθηματική Ολυμπιάδα 🏆 Οι μαθητές κέρδισαν πέντε χρυσά και ένα ασημένιο μετάλλιο στην 66η Διεθνή Μαθηματική Ολυμπιάδα, που πραγματοποιήθηκε στην Αυστραλία. 🥇 Χρυσά μετάλλια απονεμήθηκαν στους: ➡️ Ιβάν Τσασόβσκιχ, Χίμκι, Περιφέρεια Μόσχας ➡️ Ντμίτρι Γκρισκό, Μόσχα ➡️ Ιλιά Ζαμοτόριν, Αγία Πετρούπολη ➡️ Βασίλι Πάτρουσεφ, Βλαδιβοστόκ ➡️ Αρτέμ Σαντικοφ, Τσελιάμπινσκ 🥈 Το ασημένιο μετάλλιο κέρδισε ο Ιβάν Κόκαρεφ από το Τσελιαμπίνσκ. 🎊 Θερμά συγχαρητήρια στα παιδιά! Τους ευχόμαστε ακόμη περισσότερες επιτυχίες στο μέλλον! 🇷🇺 Российские школьники завоевали 6 медалей на математической олимпиаде 🏆 Ребята взяли пять золотых и одну серебряную медаль на 66-й Международной математической олимпиаде, которая прошла в Австралии. 🥇 Золотых медалей удостоены: ➡️ Иван Часовских, Химки, Московская область ➡️ Дмитрий Гришко, Москва ➡️ Илья Замоторин, Санкт-Петербург ➡️ Василий Патрушев, Владивосток ➡️ Артем Садыков, Челябинск 🥈 Серебряную медаль получил Иван Кокарев из Челябинска. 🎊 Поздравляем ребят и желаем новых побед! @rossotrudnichestvo@rusembgreece #Ρωσία#Μαθηματικά#ΔιεθνήςΟλυμπιάδα#RussianStudents#MathOlympiad#Επιτυχία#Νίκη#Διακρίσεις#Μαθητές#ΡωσικήΕκπαίδευση#Russia#Education#Success#Winners#Olympiad#Россия

Hashtags

#ρωσία #μαθηματικά #διεθνήσολυμπιάδα #russianstudents #matholympiad #επιτυχία #νίκη #διακρίσεισ #μαθητέσ #ρωσικήεκπαίδευση #russia #education #success #winners #olympiad #россия