software · 13 menciones
Este artículo es un tutorial paso a paso para construir un intérprete de Scheme (un dialecto de Lisp) utilizando Python. El texto parte de la premisa de Steve Yegge según la cual, si no se sabe cómo funcionan los compiladores, no se entiende de verdad cómo funcionan los ordenadores, y aplica esa ide
El gestor de paquetes Nix puede compilar derivaciones de Guix, pese a que ambos se presentan como ecosistemas rivales. El blog técnico de Farid Zakaria lo demuestra con un experimento reproducible y, además, presenta la herramienta de código abierto guix-transfer, que automatiza la traducción de rec
El desarrollo de código Lisp en el editor de texto Vim ha evolucionado significativamente en la última década. Aunque Lisp es un lenguaje potente y flexible, su sintaxis basada en paréntesis y notación prefixa lo hace diferente a lenguajes populares como C o Python. Integrar Lisp en Vim requiere her
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
Después de más de 40 años de investigación, el sistema de verificación formal conocido anteriormente como Coq Proof Assistant ha sido renombrado como Rocq Prover. Desarrollado inicialmente en 1984 por Thierry Coquand y Gérard Huet en INRIA-Rocquencourt, y posteriormente ampliado por Christine Paulin
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
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
El proyecto `lmp` (Lisp-style Meta Programming) de Mistivia en GitHub introduce una forma innovadora de realizar programación meta (template metaprogramming) en C++ que se inspira en el paradigma funcional de Lisp. La programación meta en C++ permite escribir código que genera o manipula otro código
Un desarrollador, Matthew Phillips, ha creado un compilador de Scheme a WASM llamado Puppy Scheme en tan solo cuatro días, un logro notablemente rápido gracias al uso de inteligencia artificial. El proyecto, iniciado como una iniciativa personal, se completó en un fin de semana y unas pocas noches,
Un desarrollador independiente, Ufo, ha lanzado "scheme-langserver", una implementación del Protocolo de Servidor de Lenguaje (LSP) para el lenguaje Scheme, ahora disponible para VSCode. Este servidor busca mejorar significativamente la experiencia de desarrollo en Scheme, un lenguaje de programació
Un nuevo proyecto, denominado 'cl-kawa', permite una profunda interoperabilidad entre Common Lisp y Scheme, dos lenguajes de programación, a través de una implementación innovadora. El proyecto, creado por Anthony Green y disponible en GitHub, utiliza OpenLDK, un JVM escrito en Common Lisp que trans
Este artículo explora cómo emular la instrucción `GOTO` en el lenguaje Scheme utilizando continuaciones. `GOTO` es una instrucción de control de flujo que permite saltar a una línea específica de código, algo que Scheme, por diseño, no ofrece directamente. Dijkstra, en su famoso artículo, criticó `G
Un desarrollador ha presentado "Femtolisp", una nueva implementación de un dialecto Scheme que destaca por su tamaño compacto y velocidad. El proyecto, iniciado como un intento de crear el intérprete Lisp más rápido posible en menos de 1000 líneas de código C, ha evolucionado para incluir caracterís
