Passport Application è un gioco rompicapo sviluppato da HM Passport Office in cui i giocatori raccolgono documenti originali per dimostrare la cittadinanza britannica.
La logica di gioco si basa sulla “Logica Burocratica”, analoga alla logica costruttiva, che richiede prove tramite documenti originali e vieta l’uso del principio del terzo escluso.
La prova della cittadinanza può diventare ricorsiva lungo l’albero genealogico fino a un caso base, ad esempio la nascita nel Regno Unito prima del 1983 o la naturalizzazione.
Il codice Haskell implementa le regole HMPO con il monad LogicT, gestendo interattivamente la conoscenza e enumerando tutte le possibili dimostrazioni di cittadinanza e i relativi set di documenti.
L’implementazione svela il motivo delle richieste di documenti apparentemente arbitrarie e mostra che HMPO tende a seguire la prova più complessa per aggiungere difficoltà al gioco.
Pur potendo semplificare il processo con software automatizzati, HMPO evita l’automazione completa a causa della complessità e del rischio di errori amministrativi.
Get notified when new stories are published for "🇮🇹 Hacker News Italiano"