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...") |
|||
| Line 4: | Line 4: | ||
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]] | |||
Revision as of 17:43, 17 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.