Difference between revisions of "Study Lambda Calculus"
Jump to navigation
Jump to search
| (One intermediate revision 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? === | ||
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.