El proceso de solicitud de pasaporte británico se presenta como un juego de aventuras y rompecabezas burocráticos basado en reglas constructivas que exigen documentos originales como testigos para probar la britanidad.
Las solicitudes de documentos se recursan a través del árbol genealógico según la British Nationality Act 1981, requiriendo a veces certificados de nacimiento y matrimonio de antepasados hasta encontrar un caso base (nacido en Reino Unido antes de 1983 o naturalizado).
El autor implementa una solución en Haskell empleando el monad LogicT para enumerar pruebas de britanidad y generar conjuntos de documentos necesarios de forma interactiva, haciendo preguntas al usuario y explorando diferentes ramas de prueba.
El código produce múltiples vías de prueba, cada una con su conjunto de documentos, y refleja cómo la HMPO suele elegir la ruta más compleja para prolongar la experiencia de juego.
Se reflexiona sobre la posible automatización de tales trámites y las limitaciones de confiar plenamente en un programa, dada la complejidad y la sensibilidad de la ley de nacionalidad.
Get notified when new stories are published for "🇪🇸 Hacker News Espanyol"