[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