software · 19 menciones
Martin Odersky, creador de Scala, ha argumentado en la conferencia Scala Days 2026 que la programación humana no desaparecerá, aunque los agentes de inteligencia artificial asuman una parte significativa de la construcción de software. Odersky critica la narrativa de que la ingeniería de software se
El tipo `!` (never) se añadió recientemente a Rust como anotación válida en cualquier posición del código, con su estabilización prevista para Rust 1.100. Aunque suele presentarse como el tipo bottom de la teoría de tipos, el artículo explica que en Rust se trata en realidad del tipo vacío, no del t
La inferencia de tipos —la capacidad de un compilador de deducir automáticamente el tipo de una variable a partir de una asignación, sin que el programador lo declare— se ha convertido en una característica estándar en los lenguajes modernos. Go, Rust, Swift, Scala, Kotlin, Zig o Nim la incluyen de
Este artículo explica y compara cuatro estrategias para implementar el despacho de instrucciones en una máquina virtual (VM) escrita en Rust, todas basadas en la técnica de interpretación con tail-calls. La técnica consiste en transformar la recursión en un salto en tiempo de compilación, lo que evi
Fuse es un lenguaje de programación de tipado estático y funcional puro que incorpora tipos de orden superior (higher-kinded types) y polimorfismo ad hoc mediante traits. Su compilador se apoya en GRIN, un optimizador de programa completo, y delega la generación de código nativo en LLVM, lo que prod
Los tipos de prueba, también conocidos como tipos testigo o de evidencia, son un patrón de programación en el que la mera existencia de un valor garantiza que un determinado cómputo se ha ejecutado. En Dart 3.0, este patrón se materializa combinando cuatro mecanismos: el modificador final, que impid
Scastie es un entorno interactivo de Scala que funciona directamente en el navegador, sin instalación ni cuenta de usuario. Está mantenido por el Scala Center, una organización sin ánimo de lucro integrada en la Escuela Politécnica Federal de Lausana (EPFL), y se distribuye como software libre bajo
El estándar ISO 3166-1 alpha-2 asigna un código de dos letras a cada país y a varias dependencias territoriales (como ME para Montenegro o EU para la Unión Europea). Resulta que muchas de esas dos letras coinciden con extensiones de archivo usadas por lenguajes de programación, lenguajes de dominio
Artículo técnico que detalla una configuración de producción de Eglot, el cliente LSP integrado por defecto en Emacs desde la versión 29, orientada al trabajo diario con Scala, Kotlin y algo de Java. El autor, integrante de la configuración heks-emacs, defiende que Emacs, frente a IntelliJ IDEA, ofr
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
Los patrones de diseño, popularizados por el libro de 1994 de la «Banda de los Cuatro» (Gamma, Helm, Johnson y Vlissides), se concibieron como plantillas reutilizables y agnósticas al lenguaje para resolver problemas recurrentes de diseño. Con el tiempo, señala el autor, se han convertido en dogma:
Los árboles RRB (Relaxed Radix Balanced Trees) son una extensión del tipo de dato vector inmutable que resuelve una de las grandes limitaciones de las estructuras usadas en lenguajes funcionales como Clojure y Scala: la dificultad para concatenar, dividir e insertar vectores sin perder eficiencia. L
En Zig, los tipos son valores en tiempo de compilación: pueden asignarse a constantes, pasarse como argumentos a funciones y devolverse desde ellas. Esta característica, conocida como comptime, es la base de los tipos genéricos del lenguaje y la pieza clave detrás de MultiArrayList, una colección de
Peter Luschny ha publicado una colección exhaustiva de algoritmos para el cálculo de la función factorial (n!) en gran escala. Este recurso técnico, alojado en su sitio web, presenta descripciones breves de 21 algoritmos distintos, junto con implementaciones en múltiples lenguajes de programación co
Este artículo presenta un enfoque innovador para la capa de datos en proyectos Scheme, buscando resolver un problema común: el acoplamiento estrecho entre la capa de control y la implementación específica de la base de datos (en este caso, SQLite). El autor, proveniente de un background en lenguajes
Anthropic ha lanzado "Wheat", un nuevo marco de trabajo de toma de decisiones diseñado para equipos de ingeniería. Wheat opera dentro de Claude Code y facilita la investigación, creación de prototipos y validación de decisiones técnicas complejas, como la migración de REST a GraphQL. El proceso comi
Este artículo explora una técnica avanzada para mejorar la concurrencia en Scala, inspirada en el lenguaje Haskell y su biblioteca Haxl. El problema que aborda es cómo optimizar la ejecución de múltiples consultas de datos, evitando una serie de llamadas secuenciales a la base de datos. En Haskell,
Este artículo del blog de Haoyi explora cómo controlar la terminal desde programas de línea de comandos, un aspecto fundamental para crear interfaces de usuario más dinámicas y sofisticadas. Tradicionalmente, los programas interactúan con la terminal simplemente imprimiendo texto que se desplaza. Si
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
