O Passaporte Application é um jogo de aventura em que se recolhem documentos para provar a nacionalidade britânica.
O jogo aplica uma lógica burocrática inspirada na lógica construtiva, em que os documentos originais são testemunhas.
O autor codificou as regras em Haskell usando o monad LogicT para gerar provas e conjuntos de documentos.
A mecânica recursiva exige provar a britanicidade de antepassados até casos-base como nascimentos antes de 1983.
A HMPO escolhe deliberadamente caminhos mais complexos para tornar o jogo divertido.
Automatizar o processo seria útil, mas é evitado devido à complexidade e nuances da lei de nacionalidade.
Get notified when new stories are published for "🇵🇹 Hacker News Português"