Church wanted it to be called hat calculus. As someone opposed to the ``worse is better'' mentality I think we should stop using the word lambda and restore the original name and notation.
I think it's disgusting that these people who allegedly want to make computing better would enshrine and glorify a mistake caused by inferior technology of the 1930s.
>>3 And rename Church encoding to Poettering encoding.
Name:
Anonymous2016-05-29 18:34
The Knights of Lambda Calculus will not allow this!
Name:
Anonymous2016-05-29 18:49
>>5 Lambda calculus must be centralized and standardized. Just look at all the various encodings out there! We need a single, opaque, bloated, inscrutable SystemD Calculus that will start up faster!
Name:
Anonymous2016-05-29 20:13
hate calculus - a formal system for representing the hate between different human subspecies.