Whiteboard problems in pure Lambda Calculus (2017)

Re:Whiteboard problems in pure Lambda Calculus (2017) by GGfpc on Thursday August 23, 2018 @08:41AM (#17826719)

Every day I feel amazed at how much smarter other people are.

[ Parent | on HN ]

Re:Whiteboard problems in pure Lambda Calculus (2017) by akullpp on Thursday August 23, 2018 @11:54AM (#17828291)

Lambda calculus is simple and easy to understand. I learnt it in university from scratch and I think that everybody can do it. Set theory has a quite similar, manageable, learning curve.

[ Parent | on HN ]

Re:Whiteboard problems in pure Lambda Calculus (2017) by _emacsomancer_ on Thursday August 23, 2018 @01:15PM (#17828937)

And set theory and lambda calculus have nice 'interoperability' (e.g. λx[Dog(x)] is a characteristic lambda function for the set {x | x is a dog}.)

[ Parent | on HN ]

Re:Whiteboard problems in pure Lambda Calculus (2017) by medh2000 on Thursday August 23, 2018 @11:49AM (#17828247)

Yes this sound unrealistic in most cases. Taking a leave from your current job to try out another one is very risky.

[ Parent | on HN ]