David Binder, desarrollador de la comunidad Haskell, publicó en el blog oficial del lenguaje una hoja de ruta para producir una versión revisada del Haskell 2010 Language Report, el documento normativo del lenguaje que no se actualiza desde hace 16 años. El autor sostiene que el informe se ha quedado obsoleto respecto a lo que hoy implementan compiladores como GHC y MicroHS, ya que propuestas aceptadas —Functor-Applicative-Monad, MonadFail, Foldable-Traversable y Monad-of-no-return— modificaron la sintaxis y semántica sin reflejarse en la especificación.
Binder propone un objetivo acotado: revisar Haskell 2010 sin introducir nuevas características, de modo que todo programa válido según el informe revisado sea aceptado por GHC y MicroHS con la edición Haskell2010. La iniciativa aprovecharía la lista de discrepancias ya documentada en la guía de usuario de GHC y aplicaría un proceso de decisión ligero, dado que los cambios reflejan prácticas ya asentadas. Como ventaja adicional, permitiría eliminar la sección 16 de la guía de GHC, que documenta las desviaciones respecto al informe actual.
En el plano técnico, el artículo detalla la migración del formato .verb, usado en 2010 con sed, awk, perl y pdflatex, al sistema de composición tipográfica Typst, escrito en Rust y disponible bajo Apache 2.0. Typst genera PDF y HTML de forma nativa, con tiempos de compilación un orden de magnitud menores que TeX y mensajes de error que apuntan a la línea exacta. La conversión ya se completó de forma manual y los formatos BNF del informe pasan a ser hipervinculables. El texto también aborda la documentación de las bibliotecas estándar y queda interrumpido antes de cerrar ese apartado.