software · 9 menciones
El ingeniero de software Paul Tarvydas, con más de 30 años de experiencia en consultoría, comparte un conjunto de opiniones personales sobre cómo abordar la creación de compiladores y lenguajes de programación en la actualidad. Tarvydas distingue entre diseñar un lenguaje y construir un compilador,
Geoffrey Litt sostiene que, aunque los agentes de inteligencia artificial escriben cada vez más código por nosotros, los humanos seguimos necesitando comprender ese código para no quedarnos fuera del proceso creativo. La verificación algorítmica no basta: la comprensión permite a la persona mantener
Este artículo, primero de una serie titulada "Programación funcional desde los principios básicos", explica qué es la programación funcional y por qué importa. Presenta las cuatro grandes familias de paradigmas de programación (imperativo procedural, orientado a objetos, lógico y funcional) y enmarc
El artículo "Prolog Coding Horror" de Markus Trisha examina los principales errores que cometemos los programadores Prolog, identificando cuatro "horrores" fundamentales que debemos evitar. El primero es perder soluciones: usar constructos impuros como !/0, (->)/2 y var/1 puede hacer que nuestro pro
Este artículo narra cómo el autor finalmente comprendió la programación lógica utilizando Prolog, después de años de intentarlo, gracias a un proyecto aparentemente sencillo: modelar las mecánicas de combate de los videojuegos Pokémon. La razón por la que este enfoque funciona tan bien es porque las
Este artículo explora un concepto fundamental en el desarrollo de software: los "ur-lenguajes" (lenguajes ancestrales). La idea central es que, aunque existen miles de lenguajes de programación, muchos comparten patrones básicos de construcción y organización, agrupándose en familias o "ur-lenguajes
Este artículo explora el concepto de un "lenguaje de programación perfectible", ejemplificado por Lean. La idea central es que un lenguaje perfectible no solo permite escribir código, sino también expresar propiedades sobre ese código dentro del propio lenguaje. Esto abre la puerta a la verificación
Este artículo explora el concepto de "thinnings", una herramienta matemática que, aunque a menudo vista como compleja en contextos como la teoría de tipos dependientes, puede ser aplicada y comprendida en lenguajes de programación más comunes como Python. En esencia, un thinning es una forma de test
λProlog, un lenguaje de programación lógico desarrollado a finales de la década de 1980, está experimentando un inesperado resurgimiento en la comunidad tecnológica. Basado en la lógica intuicionista de orden superior, λProlog se destaca por su sólida base lógica, que permite características avanzad
