https://carrion.dev/es/tags/type-safety/Recent content in type-safety on Carrion.devHugo -- gohugo.ioesignacio@carrion.dev (Ignacio Carrión)ignacio@carrion.dev (Ignacio Carrión)©{year}, All Rights ReservedTue, 15 Apr 2025 08:00:00 +0100https://carrion.dev/es/posts/sealed-classes-domain-modeling/Tue, 15 Apr 2025 08:00:00 +0100ignacio@carrion.dev (Ignacio Carrión)Tue, 15 Apr 2025 08:00:00 +0100https://carrion.dev/es/posts/sealed-classes-domain-modeling/Aprovechando las Sealed Classes e Interfaces para un Mejor Modelado de Dominio El modelado de dominio es un aspecto crucial del desarrollo de software, representando los conceptos y reglas de negocio fundamentales en tu aplicación. Kotlin proporciona potentes características de lenguaje que pueden ayudar a crear modelos de dominio más expresivos, con seguridad de tipos y mantenibles. Entre estas características, las sealed classes e interfaces destacan como herramientas particularmente valiosas. Este artículo explora cómo aprovechar estas características de Kotlin para construir mejores modelos de dominio.Ignacio Carriónfeatured imagekotlinarchitecturedomain modelingtype safetyhttps://carrion.dev/es/posts/building-type-safe-dsls/Tue, 25 Mar 2025 08:00:00 +0100ignacio@carrion.dev (Ignacio Carrión)Tue, 25 Mar 2025 08:00:00 +0100https://carrion.dev/es/posts/building-type-safe-dsls/Construyendo DSLs Tipados con Kotlin: De lo Básico a Patrones Avanzados Los Lenguajes de Dominio Específico (DSLs) en Kotlin te permiten crear APIs expresivas, legibles y tipadas. Este artículo explora cómo construir DSLs efectivos usando las potentes características de Kotlin, centrándose en el control de ámbito con @DslMarker para prevenir errores comunes en DSLs anidados. Al final de este artículo, entenderás: Cómo diseñar APIs de DSL limpias e intuitivas Cuándo y cómo usar @DslMarker para un mejor control de ámbito Mejores prácticas para mantener el tipado seguro en tu DSL Errores comunes y cómo evitarlos Conceptos Básicos de DSL Exploremos los conceptos fundamentales de los DSLs en Kotlin construyendo un simple constructor de HTML:Ignacio Carriónfeatured imagekotlindsltype-safetydesign-patternshttps://carrion.dev/es/posts/advanced-kotlin-generics/Fri, 21 Mar 2025 08:00:00 +0100ignacio@carrion.dev (Ignacio Carrión)Fri, 21 Mar 2025 08:00:00 +0100https://carrion.dev/es/posts/advanced-kotlin-generics/Características Avanzadas de Genéricos y Varianza en Kotlin: Una Guía Completa Entender los genéricos avanzados y la varianza en Kotlin es crucial para escribir código reutilizable y seguro en cuanto a tipos. Este artículo explora estos conceptos en profundidad, proporcionando ejemplos prácticos y aplicaciones del mundo real. Entendiendo la Varianza La varianza en Kotlin determina cómo se relacionan los tipos genéricos con diferentes argumentos de tipo. Entender la varianza es más fácil cuando pensamos en términos de productores y consumidores:Ignacio Carriónfeatured imagekotlingenericsvariancetype-safety