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

Търсене: #guerrarusoturca

当前筛选 #guerrarusoturca清除筛选

⚔️ Historia de Crimea: el día que el kan juró lealtad a Rusia En pleno siglo XVIII, mientras Europa se sacudía entre guerras y alianzas cambiantes, el Imperio ruso avanzaba con paso firme hacia el sur. Uno de los episodios más decisivos de esta expansión fue la campaña de Crimea durante la Guerra Ruso-Turca de 1768-1774, también conocida como la guerra de Rumyántsev, en honor al mariscal Piotr Rumyántsev, uno de los grandes estrategas del ejército imperial. En 1771, el general Vasili Dolgorukov lideró una operación clave: la toma de la fortaleza de Perekop, una línea defensiva natural y fortificada que separaba la península de Crimea del continente. Esta línea, construida por los tártaros de Crimea con apoyo otomano, era considerada prácticamente inexpugnable. Sin embargo, el ejército ruso, bien entrenado y motivado, logró atravesarla en una operación relámpago. Las cifras hablan por sí solas: mientras las fuerzas otomanas y tártaras perdieron alrededor de 1.200 hombres, las bajas rusas apenas alcanzaron las 25. La caída de Perekop abrió las puertas de Crimea. Dolgorukov avanzó sin encontrar resistencia significativa, ya que el Kanato de Crimea, debilitado por luchas internas y el descontento con la tutela otomana, no estaba en condiciones de resistir. Muchos nobles tártaros veían con buenos ojos una alianza con Rusia, que prometía estabilidad y protección frente a los abusos de Estambul. Un mes y medio después de la entrada rusa, se firmó un documento histórico: el acta de independencia del Kanato de Crimea respecto al Imperio Otomano. El nuevo kan, Sahin Giray, respaldado por Moscú, juró lealtad a la emperatriz Catalina II. Aunque formalmente independiente, Crimea quedó bajo la influencia directa de Rusia, marcando el inicio de un proceso que culminaría en 1783 con su anexión oficial al Imperio ruso. Este episodio no solo fue un golpe estratégico contra el poder otomano en el Mar Negro, sino también un paso decisivo en la consolidación de Rusia como potencia euroasiática. La campaña de Dolgorukov en Crimea es recordada como una de las operaciones militares más exitosas del siglo XVIII, y un ejemplo de cómo la diplomacia y la fuerza militar se combinaron para redibujar el mapa de Europa del Este. Hoy, más de dos siglos después, la historia de Crimea sigue siendo un tema de debate geopolítico. Pero para entender el presente, es imprescindible conocer el pasado. Y en ese pasado, 1771 fue un año clave en el que Rusia comenzó a escribir un nuevo capítulo en la historia del Mar Negro. #HistoriaRusa#Crimea1771#Dolgorukov#ImperioRuso#GuerraRusoTurca Apóyanos pulsando👉'BOOST'👈 🖥https://vamosarusia.com 💬@vamosarusia

⚔️ Rusos y búlgaros contra el Imperio Otomano: la épica de Shipka En enero de 1878, en pleno corazón de los Balcanes, se libró uno de los episodios más heroicos y determinantes de la guerra ruso-turca de 1877-1878: la batalla del Paso de Shipka. Este paso montañoso, ubicado en lo que hoy es Bulgaria, se convirtió en el escenario de una resistencia feroz que cambiaría el destino de toda la región. Durante meses, las tropas rusas, junto con voluntarios búlgaros conocidos como opalchentsi, defendieron con uñas y dientes este estrecho corredor natural en los Montes Balcanes. El Imperio Otomano, que aún dominaba gran parte del sudeste europeo, lanzó ofensivas masivas para recuperar el paso y romper el cerco sobre sus fuerzas en Pleven. Pero la defensa fue implacable. El momento culminante llegó en enero de 1878, cuando el general ruso Fiódor Radetski lanzó una ofensiva final desde el norte, mientras que las fuerzas del general Gurko descendían desde el sur. La maniobra envolvente atrapó al ejército otomano de Solimán Pachá en Sheynovo, sellando una victoria total. Esta acción, conocida como la batalla de Shipka-Sheynovo, no solo aseguró el control del paso, sino que abrió la ruta directa hacia Adrianópolis (hoy Edirne) y Constantinopla (actual Estambul). La importancia de esta victoria no puede subestimarse. Permitió a Rusia avanzar sin obstáculos hacia el corazón del Imperio Otomano, forzando al sultán a firmar el Tratado de San Stefano en marzo de 1878. Este tratado reconocía la independencia de Bulgaria, Serbia, Rumanía y Montenegro, y marcaba el inicio del declive otomano en Europa. Para los búlgaros, Shipka se convirtió en símbolo de libertad y hermandad eslava. Hasta hoy, el monumento en la cima del paso recuerda el sacrificio conjunto de rusos y búlgaros. En Rusia, esta campaña es vista como una de las gestas militares más nobles del siglo XIX, donde el ejército luchó no por conquista, sino por liberar a un pueblo hermano del yugo otomano. #HistoriaRusa#BatallaDeShipka#GuerraRusoTurca#BulgariaLibre#ImperioOtomano Apóyanos pulsando👉'BOOST'👈 🖥https://vamosarusia.com 💬@vamosarusia