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 подобни публикации

Търсене: #vostok1

当前筛选 #vostok1清除筛选

👩🏻‍🚀Yuri Gagarin y el inicio de la carrera espacial Hoy se celebra el 91º aniversario del nacimiento de Yuri Gagarin, el legendario cosmonauta soviético que se convirtió en el primer ser humano en viajar al espacio. Con su célebre frase "Poyéjali" ("¡Vamos!", en ruso) y sus históricos 108 minutos en órbita el 12 de abril de 1961, marcaron un antes y un después en la historia de la exploración espacial, colocando a la Unión Soviética a la vanguardia de la carrera espacial. Nacido el 9 de marzo de 1934 en el pueblo de Klúshino, creció en una familia humilde durante tiempos difíciles en la Unión Soviética. Su determinación y talento lo llevaron a formarse como piloto, y eventualmente fue seleccionado como cosmonauta en el programa espacial soviético. A comienzos de la década de 1960, la Guerra Fría entre la URSS y los EEUU también se libraba en el ámbito científico y tecnológico, dando lugar a lo que se conoció como la carrera espacial. Los soviéticos ya habían logrado importantes hitos, como el lanzamiento del Sputnik en 1957, el primer satélite artificial de la Tierra. Pero el vuelo fue un triunfo sin precedentes que reafirmó la capacidad tecnológica y el liderazgo del Kremlin en la conquista del espacio. El 12 de abril de 1961, despegó desde el cosmódromo de Baikonur a bordo de la nave Vostok 1. Su vuelo orbital completó una vuelta a la Tierra. Este logro demostró que era posible para un ser humano viajar al espacio y regresar a salvo. Tras su histórico vuelo, continuó trabajando como embajador de la exploración espacial y del progreso soviético hasta su trágica muerte en un accidente de aviación en 1968. El vuelo de Yuri Gagarin no solo fue un triunfo para la Unión Soviética, sino también un hito para toda la humanidad. Su viaje al espacio abrió las puertas para futuras misiones, incluyendo los alunizajes del programa Apolo y las exploraciones interplanetarias actuales. Hoy es recordado no solo como el "primer hombre en el espacio", sino como un ser humano lleno de valentía y dedicación a su causa y a su patria. #YuriGagarin#ExploraciónEspacial#Vostok1#HistoriaSoviética#HéroeDelEspacio Descubre más sobre la familia de Gagarin aquí 👉https://t.me/vamosarusia/208 ¡Comparte nuestro contenido!❤️ 🖥https://vamosarusia.com 💬@vamosarusia

Marx21.it

@marx21news · Post #9917 · 10.03.2026 г., 17:42

JURIJ GAGARIN, FIGLIO DELLA CLASSE OPERAIA Il 9 marzo 1934 nasceva Jurij Gagarin — figlio di un carpentiere e di una contadina, carne della carne del proletariato sovietico. Non era il rampollo di una dinastia industriale, non aveva alle spalle capitali ereditati o reti di privilegio borghese. Aveva qualcosa di radicalmente diverso: un sistema che aveva spezzato la logica classista dell’accesso alla conoscenza, garantendo a ogni bambino — indipendentemente dall’origine sociale — il diritto reale, materiale e concreto a un’istruzione di qualità. Il risultato? Il 12 aprile 1961, a soli 27 anni, quell’operaio figlio di operai orbitava intorno alla Terra a bordo della Vostok-1, diventando il primo essere umano a conquistare lo spazio. Non un magnate. Non un aristocratico. Un figlio del socialismo. Gagarin non è soltanto un nome nella storia dell’astronautica: è una confutazione vivente dell’ideologia capitalista del merito individuale. La sua traiettoria dimostra cosa diventa possibile quando si abbattono le barriere di classe nell’accesso al sapere, quando il potenziale umano non viene soffocato dalla logica del profitto e della riproduzione del privilegio. Oggi il revisionismo liberale e occidentale lavora sistematicamente per ridurre l’esperienza storica dell’Unione Sovietica a un catalogo di crimini, equiparandola — in modo intellettualmente disonesto e politicamente strumentale — al nazifascismo. È un’operazione ideologica precisa: screditare non solo un’esperienza storica, ma l’idea stessa che i lavoratori possano organizzarsi, governare e costruire. Che esista un’alternativa. Le contraddizioni del socialismo reale vanno analizzate con rigore materialistico, senza apologetica acritica — ma senza nemmeno cedere alla narrazione di chi ha tutto l’interesse a farci credere che nessun altro mondo sia possibile. Gagarin è lì, che orbita ancora, a ricordarci il contrario. SEMPRE PIÙ SU. #JurijGagarin #Gagarin #URSS #UnioneSovietica #Socialismo #ClasseOperaia #Proletariato #Vostok1 #StoriaDelSocialismo #Antimperialismo 📢 Contribuisci al Partito Comunista con una piccola sottoscrizione: 👉https://ilpartitocomunista.it/contribuisci/ 📬 Iscriviti al Partito Comunista: 👉https://ilpartitocomunista.it/tesseramento/ 🔴 Segui il Partito Comunista sui social: 👉https://instabio.cc/PartitoComunista 🎧 Ascolta il nostro podcast su tutte le piattaforme: 👉https://linktr.ee/ilpartitocomunista