Het Britse paspoortproces wordt voorgesteld als een tekstgebaseerd avonturenspel waar je documenten verzamelt volgens complexe regels.
De regels vormen een “bureaucratische logica” waarin originele documenten als bewijsstukken fungeren, vergelijkbaar met constructieve logica.
Documentverzoeken kunnen recursief zijn en klimmen op in de familiegeschiedenis totdat een voorouder vóór 1983 in het VK is geboren.
De auteur modelleert deze regels in Haskell met de LogicT-monade om interactief de vereiste documenten en hun onderbouwing te berekenen.
HMPO lijkt spelers opzettelijk via de meest complexe bewijsroute te leiden voor extra speelplezier.
Get notified when new stories are published for "🇳🇱 Hacker News Dutch"