@DiarioDeTusPesadillas · Post #1213 · 30.06.2025 г., 18:34
📹 Cuando eres protegido por un demonio./ #demonios#biblia#demonología → 👤#EL_ARCHIVADOR → @youtubabot: 📹360p
TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #biblia
@DiarioDeTusPesadillas · Post #1213 · 30.06.2025 г., 18:34
📹 Cuando eres protegido por un demonio./ #demonios#biblia#demonología → 👤#EL_ARCHIVADOR → @youtubabot: 📹360p
@trilocosxjesus · Post #6395 · 12.07.2025 г., 00:16
Este sábado, en #LaCatequesis, exploramos el Libro de la Sabiduría, una joya teológica del Antiguo Testamento. Con el Teólogo José Fabián Hidalgo, profundizaremos en cómo la sabiduría viene de Dios y transforma la vida del creyente. Comenzaremos con un mensaje sobre la sabiduría que guía el corazón, y concluiremos con una reflexión sobre cómo vivir con inteligencia espiritual en medio de un mundo de ruido y confusión. 🕑 Acompáñanos a las 2:00 p.m. por Minuto de Dios Medellín. #LibroDeLaSabiduría#TeologíaYVida#FeSencillaVidaIluminada#MinutodeDiosMed#trilocosxjesus#biblia
@trilocosxjesus · Post #6212 · 23.05.2025 г., 17:02
Éste sábado tendremos a la segunda parte y el desarrollo de este gran relato, Iniciamos con un Título de "Victoria" y finalizamos un Libro de "Vida Eterna", Tenemos una gran invitación junto a Martin Cuberos, para que seamos Católicos dispuestos a un nuevo martirio, defendiendo nuestra fe. Programa #LaCatequesis: Una "Fe sencilla", para una "Vida iluminada". Nos escuchamos a las 2pm en la Emisora Minuto de Dios, nos puedes sintonizar en este enlace (https://medellin.minutodedios.fm) y también en la app. #LaCatequesis#FeSencillaVidaIluminada#biblia#church#historicos#macabeos #MinutodeDiosMed#RCC#añodelaesperanza#trilocosxjesus
@trilocosxjesus · Post #6178 · 17.05.2025 г., 02:05
Éste sábado tendremos a Judas como figura central de éste Primer Libro de Victoria, escucharemos parte de la historia de la lucha del pueblo judío por la libertad religiosa y política guiados por los Macabeos, junto a Martin Cuberos, viajaremos a un gran momento de la Historia. Programa #LaCatequesis: Una "Fe sencilla", para una "Vida iluminada". Nos escuchamos a las 2pm en la Emisora Minuto de Dios, nos puedes sintonizar en este enlace (https://medellin.minutodedios.fm) y también en la app. #LaCatequesis#FeSencillaVidaIluminada#biblia#church#historicos#macabeos #MinutodeDiosMed#RCC#añodelaesperanza#trilocosxjesus
@trilocosxjesus · Post #6107 · 01.05.2025 г., 20:04
Un tesoro hecho libro, de los Deuterocanonicos para todos los creyentes llega el libro de esta gran Mujer, que nos dará la certeza con 1 sólo capítulo de que Dios nos ama muchísimo más, mucho, mucho más de lo que nos imaginamos. Con la Teóloga Gloria Vasquez, vamos a realizar éste viaje al 169AC para redescubrir para que estamos llamados y como podemos ser fieles al propósito de Dios en nuestras vidas. Programa #LaCatequesis: Una "Fe sencilla", para una "Vida iluminada". Nos escuchamos a las 2pm en la Emisora Minuto de Dios, nos puedes sintonizar en este enlace (https://medellin.minutodedios.fm) y también en la app. #LaCatequesis#FeSencillaVidaIluminada#biblia#church#historicos#ester #MinutodeDiosMed#RCC#añodelaesperanza#trilocosxjesus
@trilocosxjesus · Post #6499 · 09.08.2025 г., 16:17
🚀✨ ¡Comenzamos una nueva etapa en nuestra serie de las Sagradas Escrituras! Hoy nos adentramos en los Libros Proféticos con uno de sus gigantes: Isaías. Junto a Daniel Osorio, descubriremos su mensaje lleno de esperanza y promesa mesiánica. 📅 Hoy | 🕑 2:00 p.m. 📻 Tu Emisora Minuto de Dios 🎙#LaCatequesis 📖 “El pueblo que caminaba en tinieblas vio una gran luz” (Is 9,1). #fesencillavidailuminada#minutodediosmed#trilocosxjesus#Biblia#Isaias#Profeticos#PalabraQueTransforma
@trilocosxjesus · Post #6348 · 27.06.2025 г., 18:03
Este sábado en #LaCatequesis, abordamos uno de los libros más profundos y existenciales de la Biblia: el Libro del Eclesiastés. Junto al Psicólogo Juan Camilo Galvis, exploraremos el sentido de la vida, la fugacidad de las cosas y la invitación a encontrar plenitud más allá del materialismo. Iniciaremos con el tema “Todo es vanidad… excepto Dios”, y terminaremos reflexionando sobre cómo vivir con propósito y fe auténtica. 🕑 No te lo pierdas, a las 2:00 p.m., por Minuto de Dios Medellín. #Eclesiastés#SentidoDeLaVida#PsicologíaYFe#FeSencillaVidaIluminada#sapiensales#biblia#trilocosxjesus#minutodediosmedellin