Difference between revisions of "Study Lambda Calculus"
Jump to navigation
Jump to search
| Line 7: | Line 7: | ||
[[Category:Study]] | [[Category:Study]] | ||
[[Activity Date::2021.7.16]] | |||
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] 2021.7.16
- ↑ From Z, lambda calculus to Amazon.