Difference between revisions of "Study Lambda Calculus"
Jump to navigation
Jump to search
(Created page with "== Notes == === How does Amazon use lambda calculus for system specification? === Declarative programming follows a the mathematic principle that calling a function with th...") |
|||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
== Notes == | == Notes == | ||
[[Activity Date::2021.7.16]] | |||
=== How does Amazon use lambda calculus for system specification? === | === How does Amazon use lambda calculus for system specification? === | ||
Declarative programming follows a the mathematic principle that calling a function with the same input will always result in the same output. It will never vary and thus becomes part of a mathematical proof as part of the design. | Declarative programming follows a the mathematic principle that calling a function with the same input will always result in the same output. It will never vary and thus becomes part of a mathematical proof as part of the design. | ||
<ref> From Z, lambda calculus to Amazon. </ref> | <ref> From Z, lambda calculus to Amazon. </ref> | ||
[[Category:Study]] | |||
Latest revision as of 08:20, 18 July 2021
Notes
How does Amazon use lambda calculus for system specification?
Declarative programming follows a the mathematic principle that calling a function with the same input will always result in the same output. It will never vary and thus becomes part of a mathematical proof as part of the design. [1]
- ↑ From Z, lambda calculus to Amazon.