Quote/Separation of Church and state

From PKC
Revision as of 12:36, 16 July 2022 by Benkoo (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

We believe in the separation of Church and state.

— A joke understood only by pure functional programmers[1]

This joke is explained by Martin Kleppmann in his book:Designing Data-Intensive Applications. He said:

Explaining a joke rarely improves it, but I don't want anyone to feel left out. Here, Church is a reference to the mathematician Alonzo Church, who created the lambda calculus, an early form of comnputation that is the basis for the most functional programming language. The lambda calculus has no mutable state (i.e. no variables that can be overwritten), so that one can say that mutable state is separate from Church.

— Martin KleppmannCite error: Invalid <ref> tag; invalid names, e.g. too many.

References

Related Pages