protocol_standard · 2 menciones
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
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 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
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 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,
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
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 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
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 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
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
El Erlang Ecosystem Foundation (EEF) ha alertado sobre una vulnerabilidad crítica en el ecosistema BEAM que afecta a aplicaciones de Erlang y Elixir. El agotamiento de átomos, una clase de vulnerabilidad de denegación de servicio, representa el 35,8% de los CVEs publicados por la CNA del EEF, convir
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
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
Matheus Moreira es el creador de lone lisp, un intérprete de Lisp construido directamente sobre las llamadas al sistema de Linux sin dependencias externas. En esta entrevista repasa su trayectoria como desarrollador autodidacta, marcada por una curiosidad constante por entender cómo funcionan las co
Un desarrollador está aprendiendo Scheme y utilizándolo para implementar conceptos de sus clases de física con el objetivo de ejecutar el código en el navegador. Para ello recurre a Hoot, un compilador que traduce Scheme a WebAssembly y que permite ejecutar este lenguaje en la web sin depender de Em
Los parser combinators son una técnica para construir analizadores sintácticos componiendo pequeñas funciones que reconocen unidades de texto. Este tutorial explica, de forma práctica y accesible, cómo construir una biblioteca mínima de análisis sintáctico usando Scheme, aunque los principios son ap
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
El MIT OpenCourseWare pone a disposición del público las veinte video-lecciones completas del curso Structure and Interpretation of Computer Programs (SICP), impartidas en julio de 1986 por Hal Abelson y Gerald Jay Sussman ante empleados de Hewlett-Packard y producidas profesionalmente por Hewlett-P
Goeteia es un compilador para un subconjunto de Scheme que se compila a WebAssembly directamente en el navegador. La página donde se presenta es en sí misma una demo viva: el título en 3D es una nube de partículas WebGL cuyas formas, trayectorias y colores se generan desde el código fuente, y cada v
Carson Gross, profesor de informática en la Universidad Estatal de Montana y creador de HTMX, ofreció en la conferencia Software Should Work 2026 una charla titulada "AI & The University", en la que abordó el impacto de la inteligencia artificial en la educación superior y, en particular, en las car
Racket es un lenguaje de la familia Lisp nacido en 1995 como PLT Scheme en el grupo de Matthias Felleisen y rebautizado en 2010. Su apuesta diferencial es la programación orientada al lenguaje: si un problema exige su propia sintaxis, Racket permite definirla en cuestión de horas. El artículo recorr
Un usuario que migra sus servidores de NixOS a Guix documenta el proceso de creación de un servicio personalizado para Caddy, un proxy inverso no disponible por defecto en el canal oficial. El artículo sirve como tutorial para principiantes, explicando cómo definir tipos de servicio, crear usuarios
Mergiraf es un controlador de fusión (merge driver) para Git diseñado para gestionar archivos de diversos lenguajes de programación y formatos de archivo. Su principal característica es la capacidad de realizar fusiones estructuradas sintácticamente, lo que permite una integración más precisa y segu
TXR es un lenguaje de programación pragmático y versátil, diseñado para facilitar el procesamiento de datos y la extracción de información desde fuentes de texto arbitrarias. Desarrollado desde 2009, su manual de referencia, de 778 páginas, lo posiciona como una herramienta robusta para tareas de 'h
scheme-rs es una implementación de Scheme escrita en Rust cuyo autor decidió el 31 de diciembre de 2024 transformar su intérprete basado en AST en un compilador JIT con representación intermedia en CPS (Continuation-Passing Style). El objetivo principal era hacer mecánica la creación de continuacion
La autora, que había sido elegida presidenta del grupo de trabajo Scheme (WG2) tras la renuncia del antiguo comité directivo, narra los motivos que la llevaron a abandonar el proyecto R7RS Large y la comunidad Scheme por completo. Tras un intento falló de que el editor de SRFIs, Arthur Gleckler, med
SLED (Schemy LISP en DOS) es un intérprete de LISP puramente simbólico inspirado en Scheme y derivado del proyecto Kilo LISP. Funciona como aplicación nativa de DOS, por lo que puede ejecutarse en FreeDOS, MS-DOS y en emuladores como DOSBox, DOSBox-X y DOSBox-Staging. Se concibe como un "Ur-Lisp": p
La sintaxis de Lisp, caracterizada por su uso intensivo de paréntesis, ha sido históricamente considerada menos legible que las notaciones de lenguajes como Python, Java o C. Aunque muchos atribuyen esta dificultad a la falta de familiaridad, el autor argumenta que existen factores cognitivos y visu
