Study Lambda Calculus

From PKC
Revision as of 06:52, 17 July 2021 by KevinTung (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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]

  1. ↑ From Z, lambda calculus to Amazon.
Retrieved from "https://pkc.pub/index.php?title=Study_Lambda_Calculus&oldid=5564"