software · 12 menciones
Un desarrollador repasa, tras años de borrador, las carencias que detecta en SQL y dibuja cómo sería un lenguaje de consulta relacional moderno pensado para programadores. El texto, motivado por la aparición de nuevos lenguajes como Acadia, parte de la idea de que el éxito de NoSQL se explica en bue
Choral es un lenguaje de programación orientado a objetos diseñado para especificar coreografías, es decir, protocolos multiparte que definen cómo varios roles (los clásicos Alice, Bob, Carol…) deben coordinarse para llevar a cabo una tarea conjunta. Su objetivo es simplificar la construcción de sis
F* (pronunciado «F star») es un lenguaje de programación de propósito general orientado a la demostración formal, que combina programación puramente funcional y con efectos. Reúne el poder expresivo de los tipos dependientes con automatización de pruebas basada en resolutores SMT y demostración inte
GALA es un lenguaje de programación de tipado estático y orientación funcional, creado como proyecto open source en GitHub, que se transpila a Go. Su objetivo es incorporar en Go el sistema de tipos que muchos desarrolladores echan en falta, especialmente quienes proceden de Scala, Kotlin, F# u OCam
Un hilo informal en el que un desarrollador comparte su semana. El lunes comenzó con un servidor de producción inclinado, sin respuesta tanto en el sistema operativo como en el controlador BMC, lo que dejó al equipo sin manera sencilla de recuperar la máquina. En lo profesional, le quedan unas seman
Este artículo recupera el principio "parse, don't validate" de Alexis King y lo aplica a TypeScript, un lenguaje cuyo sistema de tipos estructural no obliga a distinguir entre datos sin revisar y datos ya verificados. La idea central es que un validador devuelve true o false y olvida lo que comprobó
El autor ha estado buscando el lenguaje de programación perfecto durante años, frustrado por las limitaciones de opciones populares como F#, TypeScript y C#. Si bien Rust ofrece un gran potencial, su curva de aprendizaje y complejidad (relacionada con la gestión de memoria y el sistema de tipos) han
Microsoft ha introducido los 'union types' en C# 15, disponibles a partir de .NET 11 Preview 2. Esta nueva característica, muy solicitada por la comunidad, permite declarar un valor como uno de un conjunto fijo de tipos, garantizando el 'pattern matching' exhaustivo y evitando problemas comunes al d
La búsqueda de todas las coincidencias de expresiones regulares (regex) es un problema sorprendentemente complejo y, a menudo, malentendido. Aunque la mayoría de los motores de regex prometen un rendimiento lineal para una sola coincidencia, encontrar *todas* las coincidencias invariablemente result
RE# es un motor de expresiones regulares (regex) innovador, desarrollado en F#, que ha logrado un rendimiento significativamente superior a los motores existentes en .NET y otros sistemas industriales. El proyecto, liderado por Ian Erik Varatalu, fue publicado en POPL 2025 y ahora está disponible de
Este artículo de Taylor Troesh explora el fascinante mundo de los "Lil' Fun Langs", o lenguajes de programación muy pequeños. La idea central es que es posible crear lenguajes de programación funcionales y con tipado estático con una cantidad sorprendentemente baja de código. El artículo no solo pre
CruxLabx ha lanzado MOL, un nuevo lenguaje de programación diseñado específicamente para simplificar el desarrollo de pipelines de Inteligencia Artificial (IA) y Retrieval-Augmented Generation (RAG). MOL aborda las complejidades del desarrollo de IA al introducir operadores de pipeline nativos (|>),