There are limits on what lambda calculus can model though. For example, it doesn...

		garethrowlands on July 4, 2022 \| parent \| context \| favorite \| on: Functional programming jargon in plain English There are limits on what lambda calculus can model though. For example, it doesn't model IO very well. So, these days, lambda calculus is only one of the parts of maths that informs functional programming.