static typing
5 noticias
Tipos y errores: un análisis de Map.take! en Elixir
Este artículo explora las limitaciones de los sistemas de tipos en lenguajes de programación dinámicos, utilizando como ejemplo la propuesta de una función `Map.take!/2` en Elixir. `Map.take/2` es una función existente en Elixir que extrae un subconjunto de claves de un mapa, ignorando las claves in
Go: el nuevo favorito para crear agentes de IA
El artículo argumenta que Go es el lenguaje de programación ideal para trabajar con agentes de IA, basándose en la experiencia del autor en el desarrollo de herramientas de ETL como Bruin. Aunque Python ha sido tradicionalmente popular en el ecosistema de datos, Go ofrece ventajas significativas en
D: Nueva Biblioteca para Compilador Facilita Integración
La comunidad del lenguaje de programación D ha anunciado una iniciativa para desarrollar una biblioteca del compilador D como una biblioteca reutilizable. Esta iniciativa, detallada en una publicación del blog del 22 de febrero de 2024, busca facilitar la integración del compilador D en otros proyec
Diseño con Tipos: Analiza, No Valides
El artículo explora el concepto de diseño impulsado por tipos (type-driven design), una metodología que el autor ha tenido dificultades para explicar de manera concisa. La clave para comprender este enfoque reside en la idea de "parse, don't validate". El autor ilustra esto a través de ejemplos en H
Swift y Kotlin: ¿Demasiada Estricción en la Programación?
El artículo del blog 'The Clean Code' explora una tendencia preocupante en el desarrollo de lenguajes de programación modernos, específicamente Swift y Kotlin. Ambos lenguajes, aunque con orígenes distintos (Swift derivado de Objective-C y Kotlin de Java), comparten una marcada inclinación hacia la