Get the latest tech news

Solving `Passport Application` with Haskell


Using logic programming to beat the game

It's a cultural phenomenon in the UK: despite being quite expensive (about £100 just to start) for the standard online version (a masterpiece of minimalist design, entirely text-based), most British play the game, and do so every 10 years or so. The premise is to collect enough artefacts, scattered throughout various bureaucratic institutions, until you can prove the statement "Applicant is British" according to an extremely complex set of rules, written in arcane language, in various texts called "acts of parliament". So you have to play on "hard mode", e.g. birth abroad, which triggers some global "extra scrutiny" flag, which prevents the use of "Main Index" in all recursive calls.

Get the Android app

Or read this on Hacker News

Read more on:

Photo of Haskell

Haskell

Related news:

News photo

Solving LinkedIn Queens Using Haskell

News photo

APL Interpreter – An implementation of APL, written in Haskell (2024)

News photo

Violating memory safety with Haskell's value restriction