Gra Passport Application od HMPO to tekstowa przygoda, w której trzeba zebrać dokumenty potwierdzające brytyjskie obywatelstwo co około 10 lat.
Rozgrywka polega na wykonywaniu zadań, takich jak potwierdzanie tożsamości u wybranych zawodów, uzyskiwanie poświadczonych tłumaczeń i współpraca rodzinna.
HMPO stosuje tzw. logikę biurokratyczną, wzorowaną na logice konstruktywnej – trzeba przedstawić oryginalne dokumenty i wybrać jedną ścieżkę dowodową bez użycia zasady wyłączonego środka.
Proces może się rekurencyjniegać w górę drzewa genealogicznego, wymagając dokumentów od przodków, aż do osoby urodzonej przed 1983 rokiem lub naturalizowanej.
Autor zaimplementował w Haskellu program używający monady LogicT, który interaktywnie pyta o fakty, generuje dowodowe „proofy” obywatelstwa i zestawy wymaganych dokumentów.
Program pokazuje różne ścieżki dowodowe i odpowiada na pytanie, dlaczego HMPO wybiera najbardziej skomplikowaną ścieżkę dla dodatkowej rozrywki.
Get notified when new stories are published for "🇵🇱 Hacker News Polski"