A Mandate from the Lambda Calculus
Dennis has been persuaded — reluctantly, and with several reservations filed in triplicate — that func with keyword-labeled clauses is a reasonable system of governance. The typed parameters provide accountability. The :returns clause sets expectations. The compilation to clean JavaScript ensures the peasants can read the laws.
“Well, I didn’t vote for it,” Dennis says.
“You don’t vote for programming languages, Dennis.”
“Well you should.” He pauses. “But I’ll admit — the type checks are a nice touch. Very constitutional.”
The Lambda Calculus, its parentheses clad in the purest shimmering s-expressions, nods from the shrubbery. It has been doing this since 1936. It can wait.