Difference between revisions of "Quote/Separation of Church and state"
Jump to navigation
Jump to search
| (One intermediate revision by the same user not shown) | |||
| Line 4: | Line 4: | ||
}} | }} | ||
<noinclude> | <noinclude> | ||
This joke is explained by [[Martin Kleppmann]] in his book<ref extends="DDA">Footnote (i) on Page 506</ref> | <HR/> | ||
This joke is explained by [[Martin Kleppmann]] in his book:[[Book/Designing Data-Intensive Applications|Designing Data-Intensive Applications]]. He said: | |||
{{Blockquote | |||
|text=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. | |||
|sign=[[Martin Kleppmann]]<ref extends="DDA">Footnote (i) on Page 506</ref>. | |||
}} | |||
{{PagePostfix | {{PagePostfix | ||
Latest revision as of 12:36, 16 July 2022
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
- ↑ Kleppmann, Martin (Mar 1, 2017). Designing Data-Intensive Applications:The Big Ideas Behind Reliable, Scalable, and Maintainable Systems. local page: O'reily Press.
Related Pages