←back to thread

Solving `Passport Application` with Haskell

(jameshaydon.github.io)
306 points jameshh | 1 comments | 28 Jun 25 23:01 UTC | HN request time: 0.213s | source
Show context
charcircuit ◴[29 Jun 25 01:19 UTC] No.44409584[source]▶
>written in arcane language, in various texts called "acts of parliament".

>British passports are issued to those who have a claim to British nationality under the British Nationality Act 1981.

Has the British language really evolved that much in the last 50 years?

replies(5): >>44409698 #>>44409762 #>>44409881 #>>44410651 #>>44411400 #
1. Jhsto ◴[29 Jun 25 01:58 UTC] No.44409762[source]▶
There was a law change about European Union citizens settlement scheme last week. It's a UK law which is like a tutorial for getting to play the passport game. Anyway, the following was written this year. It starts off by checking if you are a Lisp interpreter:

Changes to Appendix EU

APP EU1. In Annex 1, in sub-paragraph (a) of the definition of ‘continuous qualifying period’, after “(b)(i)(ee) below”, insert “(or unless sub- paragraph (b)(i)(ii) below applies)”.

APP EU2. In Annex 1, for sub-paragraph (b)(i)(ii) of the definition of ‘continuous qualifying period’, substitute:

“(ii) (where the person has limited leave to enter or remain granted under paragraph EU3 or EU3A of this Appendix) any period(s) of absence which did not exceed a total of 30 months in the most recent 60-month period, as at the date of application or (as the case may be) at the date on which, under paragraph EU4, the Secretary of State is considering whether to grant them indefinite leave to enter or remain under paragraph EU2 or (as the case may be) EU2A, without a valid application under this Appendix having been made; or

(jj) any period of absence due directly to an order or decision to which sub-paragraph (b)(iii) below refers, where that order or decision has been set aside or revoked; or”.

APP EU3. In Annex 1, for sub-paragraph (c)(v) of the definition of ‘continuous qualifying period’, substitute:

“(v) a relevant reference is concerned; or

(vi) sub-paragraph (b)(i)(ii) above applies, where, under paragraph EU4 of this Appendix, the Secretary of State is considering whether to grant the person indefinite leave to enter or remain without a valid application under this Appendix having been made”.