Study Lambda Calculus
Jump to navigation
Jump to search
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.