HMPO паспортная заявка представлена как приключенческая головоломка с документами и побочными заданиями.
Логика оформления основана на «бюрократической логике», схожей с конструктивной, где требуются оригиналы документов как доказательства.
Процесс рекурсивно запрашивает документы по семейному дереву до базовых случаев (рождённых в Великобритании до 1983 года).
Автор описал и реализовал правила на Haskell с использованием LogicT-монады для поиска доказательств британства и необходимых наборов документов.
Хотя автоматизация процесса возможна, органы избегают её из-за сложности закона и риска ошибок компьютера.
Get notified when new stories are published for "🇷🇺 Hacker News Русский"