Online pasansøgning beskrives som et tekstbaseret eventyrpuslespil, hvor man gennem bureaukratiske institutioner skal indsamle originale dokumenter for at bevise britisk statsborgerskab.
Spillets regler følger 'bureaukratisk logik', inspireret af konstruktiv logik, hvor man ikke kan anvende eksklusiv tredje mulighed, men må fremlægge konkrete dokumentbeviser for hver påstand.
Forfatteren kodede reglerne i Haskell ved hjælp af LogicT-monaden, med en totrins proces der først søger bevisstrukturer og derefter udleder nødvendige dokumenter.
Programmet frembringer flere mulige dokumentkrav (beviser) for ansøgeren, og viser at HMPO tilsyneladende vælger den mest komplekse beviskæde for ekstra udfordring.
Automatisering med sådan software kunne effektivisere processen, men undgås af myndighederne grundet lovens nuance og risiko for fejlagtige afgørelser.
Get notified when new stories are published for "🇩🇰 Hacker News Dansk"