Study Lambda Calculus

From PKC
Revision as of 08:20, 18 July 2021 by KevinTung (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Notes

2021.7.16

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=5926"