Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области.
Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него.
"Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!"
Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее.
Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то.
С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше.
Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс.
В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков.
#dev
⚽️Granada
Fran Escribá, nuevo entrenador del Granada#Granada
El entrenador valenciano Fran Escribá dirigirá al Granada CF hasta final de temporada, ha confirmado este lunes el club nazarí, y sustituirá a Guillermo Abascal, destituido tras el empate ante el Málaga (2-2) del viernes en la sexta jornada de LaLiga Hypermotion.
El preparador sevillano Guillermo Abascal fue destituido después de apenas seis partidos de temporada, con un triunfo, tres empates y dos derrotas que dejan al cuadro granadino decimosexto con dos unidades de margen sobre la zona de descenso. En el Nuevo Los Cármenes ante el Málaga, el conjunto local tuvo la victoria en su mano, pero dejó escapar los tres puntos en el descuento, cuando encajó el 2-2 y además perdonó un penalti.
https://www.europapress.es/deportes/futbol-00162/noticia-fran-escriba-nuevo-entrenador-granada-20240924001244.html
🏆@Info288_deportes
💥París en noviembre💥
✈️Desde Granada 70€: 16 al 19 noviembre
✈️Desde Santiago 70€: 19 al 23 noviembre
✈️Desde Sevilla 70€: 17 al 22 noviembre
✈️Desde Valencia 65€: 23 al 26 noviembre
✈️Desde Madrid 57€: 26 al 30 noviembre
✈️Desde Barcelona 48€: 8 al 13 noviembre
🏨Alojamiento en París🏨
Vuelos con salida desde #Granada, #Santiago, #Sevilla, #Valencia, #Madrid y #Barcelona
Más en:https://t.me/chollosdevuelos✅
El que no corre 🏃 vuela 🛫
💥Mallorca en abril💥
✈️Desde Barcelona 21€: 5 al 8 abril
✈️Desde Valencia 31€: 5 al 8 abril
✈️Desde Madrid 22€: 5 al 9 abril
✈️Desde Malaga 27€: 2 al 6 abril
✈️Desde Sevilla 29€: 4 al 8 abril
✈️Desde Vitoria 29€: 12 al 15 abril
✈️Desde Santiago 38€: 6 al 9 abril
✈️Desde Granada 50€: 6 al 8 abril
Vuelos con salida desde #Barcelona, #Valencia, #Madrid, #Malaga, #Sevilla, #Vitoria, #Santiago y #Granada
Más en:https://t.me/chollosdevuelos✅
El que no corre 🏃 vuela 🛫
💥Fines de semana en Barcelona💥
✈️Desde Granada 50€: 26 al 28 octubre
✈️Desde Bilbao 58€: 5 al 7 octubre
✈️Desde Malaga 42€: 12 al 14 octubre
✈️Desde Santiago 39€: 5 al 7 octubre
✈️Desde Santander 36€: 19 al 21 octubre
✈️Desde Jerez 39€: 19 al 21 octubre
🏨Alojamiento en Barcelona🏨
☝️Free tour en Barcelona☝️
Vuelos con salida desde #Granada, #Bilbao, #Malaga, #Santiago, #Santander y #Jerez
Más en:https://t.me/chollosdevuelos✅
El que no corre 🏃 vuela 🛫
⚽️🇪🇸Segunda
Granada 2-2 Málaga#Segunda#Granada#Málaga
Derbi andaluz disputado de poder a poder, con un Málaga contestatario y cargado de desparpajo que puso al Granada contra las cuerdas. Los rojiblancos, perdidos durante varios tramos del choque, rentabilizaron al máximo sus ocasiones para rozar la victoria, pero siguen sin ganar ante su afición, mientras el cuadro blanquiazul rescató un empate en las postrimerías del encuentro y sigue invicto al empatar Nelson en el minuto 93, haciendo justicia a lo visto sobre el césped, antes de que Weissman fallara un penalti en el minuto 98.
https://www.marca.com/futbol/segunda-division/cronica/2024/09/20/66edbf80268e3e763d8b45a0.html
🏆@Info288_deportes
💥Nantes en junio💥
✈️Desde Valencia 28€: 6 al 9 junio
✈️Desde Sevilla 38€: 7 al 12 junio
✈️Desde Madrid 46€: 19 al 24 junio
✈️Desde Mallorca 38€: 21 al 25 junio
✈️Desde Malaga 63€: 15 al 20 junio
✈️Desde Alicante 56€: 12 al 16 junio
✈️Desde Bilbao 44€: 7 al 14 junio
✈️Desde Fuerteventura 58€: 16 al 23 junio
✈️Desde Granada 46€: 12 al 16 junio
Vuelos con salida desde #Valencia, #Sevilla, #Madrid, #Mallorca, #Malaga, #Alicante, #Bilbao, #Fuerteventura y #Granada
Más en:https://t.me/chollosdevuelos✅
El que no corre 🏃 vuela 🛫
🇬🇩El 7 de febrero, #Granada celebra el Día de la Independencia.
La isla, poblada por indígenas caribes, fue descubierta por Cristóbal Colón en 1498. Sus habitantes resistieron a los colonos europeos hasta 1651. Cuando la isla fue ocupada por los franceses, su espíritu independiente tampoco se quebrantó. Los caribes, orgullosos y amantes de la libertad, no permitieron ser subyugados: tribus enteras, con mujeres y niños, se arrojaban desde los acantilados, prefiriendo la muerte a la sumisión.
Posteriormente, la isla quedó bajo dominio del Reino Unido, que trajo allí a los esclavos del continente africanocon la esperanza de suprimir la rebeldía de la población nativa.
El largo y espinoso camino del pueblo granadino hacia la liberación del yugo colonial británico concluyó en 1974, tras lo cual, en abril, el país se convirtió en miembro de la Comunidad del Caribe (#CARICOM) y en septiembre fue admitido en la ONU.
Pero posteriormente el país atravesó nuevas dificultades, incluso la intervención militar de EE.UU. En octubre de 1983, los estadounidenses se entrometieron de una manera flagrante en los asuntos internos del independiente Estado granadino con el fin de cambiar por la fuerzasu gobierno y ocupar el país. Pero con estas acciones no lograron impedir el desarrollo independiente y el progreso socioeconómico de Granada.
A pesar de la presión externa persistente, actualmente el país caribeño sigue el rumbo de la política exterior soberana, siendo un digno miembro independiente de CARICOM y abogando por la preservación de la región del Caribe como una "zona de paz". Asimismo, Granada sigue fortaleciendo la cooperación mutuamente beneficiosa con los Estados de América Latina y numerosos socios de Asia y África a través de la línea "Sur-Sur".
#RusiaGranada
Las relaciones diplomáticas entre Granada y la URSS se establecieron en 1979. Fueron suspendidas en 1983, en relación con la mencionada intervención y ocupación de Granada por EE.UU., y se restablecieron en el año 2002.
Actualmente, la Embajada de Rusia en Guyana representa los intereses de nuestro país en Granada de manera concurrente.
🤝 Granada sigue siendo un socio confiable de la Federación de Rusia en el Caribe.
🗓 El 24 de septiembre de 2025, tuvo lugar un evento significativo para las relaciones ruso-granadinas: al margen de la Asamblea General de la ONU, el Ministro de Asuntos Exteriores de Rusia, Serguéi Lavrov, y su homólogo granadino, Joseph Endall, firmaron el Acuerdo sobre las bases de las relaciones entre los dos países, que permite incrementar la cooperación bilateral en áreas de interés mutuo.
🎉 Felicitamos a los colegas y al pueblo granadino por su fiesta nacional. ¡Les deseamos bienestar y prosperidad!
💃 ¡GRANADA DE LUJO A PRECIO DE RISA! 💃
Hotel Temático 4* en pleno centro por SOLO 24€ pp
¡Menudo hotelazo! Alójate en el corazón de Granada en un hotel de diseño con habitaciones temáticas alucinantes. Además, podrás disfrutar de una terraza en la azotea con unas vistas de ensueño. ¡La escapada de 10 que estabas buscando! 🏰✨
✅ Lo mejor: Ubicación inmejorable, diseño único y una terraza para flipar. ¡Granada a tus pies por un precio imbatible!
💰 PRECIO BOMBA: ¡SOLO 24€ por persona!
👉 +Info y reservas aquí: https://chollerosviajeros.com/2p86a64d
---
✨ PLANES EN GRANADA ✨
Asegura tu entrada a la Alhambra y los Palacios Nazaríes aquí:
👉https://chollerosviajeros.com/ycyxwd8h
#Granada#Alhambra#ViajesBaratos#ChollosViajeros#EscapadaAndalucia
⚽️🇪🇸Segunda
Granada 1-3 Huesca#Segunda#Granada#Huesca
El Huesca sumó el pleno de victorias en la tercera jornada tras vencer al Granada a domicilio (1-3), en un partido marcado por el primer tanto,del choque, que los nazaríes reclamaron como mano.
https://es.besoccer.com/noticia/cronica-granada-huesca-segunda-division-2024-25-1328813
Oviedo 1-3 Racing#Segunda#Oviedo#Racing
Lo que apuntaba a una fiesta grande en el Carlos Tartiere se acabó convirtiendo en una pesadilla para el Oviedo y en una alegría de las gordas para el Racing de Santander. Los cántabros supieron superar un buen arranque local para terminar llevándose con justicia los tres puntos del municipal ovetense gracias a dos goles de Andrés Martín en apenas un minuto. De este modo, los carbayones sufren su primera derrota liguera en su primera partido ante su afición tras haber sacado cuatro puntos a domicilio en las dos primeras jornadas, mientras los cántabros suman su primer triunfo tras dos empates seguidos en El Sardinero.
https://www.marca.com/futbol/segunda-division/cronica/2024/08/30/66d2099046163fcf648b45bb.html
🏆@Info288_deportes
⚽️🇪🇸Segunda
Oviedo 4-1 Mirandés#Segunda#Oviedo#Mirandés
No hubo mucha historia en el partido. El Oviedo dominó de principio a fin al Mirandés y le hizo en 90 minutos más goles que en los diez partidos previos. Los de Calleja han ganado sus últimos cuarto partidos en casa y llevan siete jornadas seguidas sin perder.
https://www.marca.com/futbol/segunda-division/cronica/2024/10/22/6717eb48268e3e16098b45d7.html
Castellón 2-3 Granada#Segunda#Castellón#Granada
Un penalti en el descuento a instancias del VAR ha dado los tres puntos al Granada frente al Castellón (2-3) en un partido con alternativas en el juego y en el resultado y que se ha decidido a favor de los visitantes cuando mejor jugaban los locales.
https://www.marca.com/futbol/segunda-division/cronica/2024/10/22/6717fd20268e3eb53a8b4574.html
🏆@Info288_deportes
🏀🇪🇸ACB
Granada 80-77 Coruña#ACB#Granada#Coruña
El Covirán Granada logró su primera victoria de la temporada como local, y la segunda de todo el curso, al vencer este sábado en un duelo directo por la permanencia (80-77) al Leyma Coruña, que enlaza tres derrotas consecutivas.
https://www.marca.com/baloncesto/acb/2024/11/16/jacob-willey-sentencia-apurado-triunfo-coviran-granada.html
UCAM 79-63 Breogán#ACB#UCAM#Breogán
El UCAM Murcia sumó su quinto triunfo en esta Liga Endesa al vencer por 79-63 al Río Breogán de Lugo en un partido que dominó desde la defensa y en el que contó con el liderazgo ofensivo de Simon Birgander (18 puntos, 12 rebotes y 29 de valoración). Los de la capital del Segura se quedan con un 5-3 para seguir entre los ocho primeros que disputarían la Copa del Rey por el 2-6 que tienen los gallegos.
https://www.marca.com/baloncesto/acb/2024/11/16/gran-birgander-lidera-convincente-triunfo-ucam-murcia.html
Tenerife 94-86 Manresa#ACB#Tenerife#Manresa
La Laguna Tenerife sigue imparable en la Liga Endesa. El conjunto dirigido por Txus Vidorreta firmó una sólida victoria en casa frente al BAXI Manresa, un equipo que llegaba en un gran momento de forma (94-86). La noche estuvo marcada por una actuación magistral de Marcelinho Huertas, quien superó la histórica cifra de 3.000 asistencias en la competición, consolidándose como uno de los referentes del baloncesto español
https://piratasdelbasket.net/la-laguna-tenerife-mantiene-su-imparable-trayectoria-94-86/
🏆@Info288_deportes
#España#CosasChulísimas de la política territorial y la territorialización de la #pobreza
Dejando al margen #Euskadi y #Navarra, sobre los que no se aportan datos por tener sistema fiscal propio, según Hacienda las 10 localidades de más de 1.000 habitantes más ricas (ninguna con una renta media por debajo de 56.000 €) están en #Madrid y #Barcelona.
Las 10 más pobres en cambio se concentran en #Badajoz (5), #Granada (2), #Córdoba (1) y #Jaén (1) ninguna de los cuales llega a los 14.000€ de renta media anual.
https://cincodias.elpais.com/economia/2023-10-05/quiere-saber-cuanto-se-gana-de-media-en-su-municipio.html