Un camino hacia Lisp: cuál Lisp

Artículo original ↗ Discusión en Hacker News ↗

Elegir “qué Lisp” aprender o usar abre rápidamente preguntas más amplias sobre el diseño de lenguajes, las herramientas y cómo realmente le gusta pensar a la gente sobre los programas. Los comentaristas comparan Common Lisp, Scheme/Racket, Clojure y otros en legibilidad, tipado dinámico frente a estático, rendimiento, poder de las macros y madurez del ecosistema, y muchos señalan las fortalezas de Lisp en extensibilidad y flujos de trabajo vivos guiados por REPL, pero también sus obstáculos en el soporte del editor y el mantenimiento a largo plazo. El hilo destaca un tema recurrente: el mejor Lisp depende menos de la elegancia abstracta y más de las herramientas disponibles, la plataforma anfitriona y de si valoras la estabilidad, la relevancia laboral o la experimentación.

Elegir un dialecto de Lisp

  • Varios recomiendan “simplemente elige uno y empieza”, con Common Lisp y Scheme como las opciones principales.
  • Se elogia Scheme por su núcleo pequeño y limpio (bueno para aprender, SICP, TSPL, Racket/DrRacket, Guile, Chez, Chicken, Gambit/Gerbil).
  • Common Lisp se destaca por su especificación estable y completa, rendimiento (p. ej., SBCL), portabilidad de código con décadas de antigüedad y una extensa biblioteca estándar.
  • Se recomienda Clojure para trabajo práctico, el ecosistema JVM/host, el bajo nivel de rotación de bibliotecas, EDN y herramientas como Babashka.
  • Otros dialectos mencionados: Emacs Lisp, AutoLISP, Racket, Guile, Janet, Fennel, Jank, Jolt, Rhombus, Hylang, Gerbil y Lisps bare-metal.

Legibilidad, sintaxis y estilo

  • Algunos encuentran Lisp difícil de leer y nunca del todo “natural”, especialmente comparado con una sintaxis procedimental más convencional.
  • Otros afirman que hay un punto de inflexión en el que Lisp se vuelve más legible que otros lenguajes una vez que mentalmente ignoras los paréntesis y te apoyas en la indentación y la edición estructural.
  • Common Lisp puede escribirse con un estilo muy procedimental; los bucles/macros (“loop”, “dotimes”, etc.) hacen que se sienta familiar para lenguajes tipo Algol.
  • Se sugieren sintaxis alternativas (p. ej., Rhombus, literales al estilo Clojure en CL, marcado de datos al estilo Hiccup) para quienes no gustan de las s-expressions.

Macros, extensibilidad y “vitalidad”

  • Se enfatiza que el sistema de macros de Common Lisp y las macros lectoras permiten una sintaxis arbitrariamente extensible, DSLs e incluso nuevos lenguajes (p. ej., Coalton, literales JSON).
  • Algunos sostienen que las macros de Lisp están sobrevaloradas; muchos ejemplos de macros pueden hacerse con técnicas de compilador en otros lenguajes, y las macros excesivamente ingeniosas pueden perjudicar el mantenimiento.
  • Otros responden que disponer del lenguaje completo en tiempo de expansión de macros, junto con compilación en tiempo de ejecución, sigue siendo singularmente potente y práctico.
  • El desarrollo con “imagen viva” de CL y Clojure (editar un sistema en ejecución) se contrapone al estilo más compilado por lotes de Racket.

Especificaciones, tipado y portabilidad

  • La especificación congelada de ANSI Common Lisp se elogia por su estabilidad y longevidad, y se critica porque hilos, sockets, Unicode, streams y secuencias extensibles quedaron en extensiones no portables; CLOS no está totalmente integrado.
  • CL admite tipado opcional y cierto tipado gradual, pero los críticos dicen que “no está muy bien tipado” (p. ej., tipos de listas gruesos, sin generics).
  • Se señala la situación de R6RS vs. R7RS en Scheme y los problemas de portabilidad en la interoperación con el sistema operativo como otra fuente de fragmentación.
  • Un participante tiene dificultades con los lenguajes dinámicos en general, y echa de menos garantías estáticas sobre la corrección del programa; las mitigaciones propuestas (tests, REPL, edición en vivo) le parecen insuficientes, y el flujo de trabajo “correcto” sigue sin estar claro.

Herramientas y recursos de aprendizaje

  • Emacs sigue siendo la experiencia canónica para muchos; otros lo rechazan activamente y buscan alternativas.
  • Herramientas sugeridas: LispWorks (potente pero caro para aficionados), Mine y Lem (nuevos IDEs de CL), plugin OLIVE para VS Code, buenas configuraciones de Neovim o VS Code para Clojure.
  • Rutas de aprendizaje recomendadas: “Practical Common Lisp”, “An Introduction to Programming in Emacs Lisp”, SICP, HTDP (Racket), “The Scheme Programming Language”, recursos de Haskell para conceptos de FP.

Perspectivas meta

  • Algunos argumentan que Lisp no es tan singularmente mágico como su reputación sugiere; muchas ideas existen en otros lugares.
  • Otros insisten en que la combinación específica de homoiconicidad, macros, desarrollo guiado por REPL e interoperación con hosts en muchos runtimes hace que Lisp sea inusualmente efectivo y que “todos los caminos llevan a Lisp” a lo largo de una carrera larga.