software · 13 menciones
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
El problema del empaquetado de cuadrados consiste en hallar el lado mínimo s(n) del cuadrado en el que caben n cuadrados unitarios. Para n=17, la mejor cota superior conocida desde 1998, debida a John Bidwell, es s(17)≤4,6756, mientras que la cota inferior de Trevor Green del año 2000 establecía s(1
Las pruebas basadas en propiedades (PBT) son una técnica consolidada para validar software: los usuarios escriben propiedades —especificaciones ejecutables— que un framework evalúa repetidamente con datos aleatorios. Los marcos modernos suelen incrustar esas propiedades en lenguajes específicos de d
Rhombus, el lenguaje de programación de propósito general derivado del ecosistema Racket y orientado a ser fácil de usar y altamente personalizable, ha publicado su versión 1.1. La actualización ya está disponible en el sitio oficial del proyecto e incorpora cambios tanto en el núcleo del lenguaje c
El equipo de Racket ha publicado la versión 9.3 de este lenguaje de programación orientado al dominio, ya disponible para descarga desde su sitio oficial. Entre las novedades destaca la capacidad del comando raco setup para generar documentación en Markdown mediante la opción --doc-markdown, y la re
Este artículo, primero de una serie de tres, presenta un modelo de un lenguaje funcional minimalista inspirado en ISWIM —el experimento mental de Peter Landin descrito en "The Next 700 Programming Languages"— implementado con PLT Redex, el lenguaje de dominio específico de Racket para especificar y
El mantenedor del paquete de Chez Scheme en Debian ha subido la versión 10.4.0 a la rama inestable, la primera actualización en varios años. La nueva compilación funciona en todas las arquitecturas y, en las que no existe backend nativo, genera bytecode portable, una capacidad que el lenguaje incorp
Rhombus es un lenguaje de programación de propósito general, funcional, dinámico y extensible que acaba de alcanzar su versión 1.0. Está construido sobre Racket, del que hereda herramientas como el entorno DrRacket y la suite de línea de comandos raco, y se activa simplemente iniciando un módulo con
Esta referencia lateral de hyperpolyglot.org ofrece una comparación exhaustiva entre cuatro dialectos principales del ecosistema Lisp: Common Lisp, Racket, Clojure y Emacs Lisp. Cada dialecto comparte la sintaxis característica de Lisp —notación prefijada con paréntesis—, pero difiere considerableme
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
Ruckus, una nueva herramienta para desarrolladores de Racket, ha sido lanzada para facilitar la ejecución y depuración local de código. La herramienta, disponible para dispositivos Apple, permite a los programadores ejecutar programas Racket y visualizar la salida en tiempo real, todo ello sin neces
Investigadores han desarrollado "Herbie", una nueva herramienta para mejorar la precisión y velocidad de los cálculos de punto flotante, un área propensa a errores en la programación. Herbie reescribe expresiones de punto flotante para minimizar estas imprecisiones, identificando y corrigiendo error
Un nuevo análisis, basado en el benchmark AutoCodeBench, revela resultados sorprendentes sobre el rendimiento de diferentes lenguajes de programación con modelos de IA para codificación. Contrario a la expectativa de que los lenguajes con mayor cantidad de datos de entrenamiento (como JavaScript) se
