[Python-ideas] Syntactic sugar to declare partial functions
Greg Ewing
greg.ewing at canterbury.ac.nz
Mon Aug 13 20:03:26 EDT 2018
Abe Dillon wrote:
> [Bruce Leban]
>
> Lambda calculus IS computer science.
>
> It's a foundation of computer science. That doesn't mean it "IS"
> computer science. Set theory is a foundation of computer science. It's
> still it's own discipline.
Lambda calculus is considered a part of computers science,
because it was invented specifically for the purpose of modelling
computation. Set theory wasn't.
--
Greg
More information about the Python-ideas
mailing list