The Turnstile programming language