4 ms·
An interesting detail from the paper is why it is called "LAMBDA". That is because in the original notation what current-day programmers would call formal argum
by galaxyLogic 8y ago
An interesting detail from the paper is why it is called "LAMBDA". That is because in the original notation what current-day programmers would call formal argument of a function were denoted by putting an upward arrow-head on top of variable/name but since that could not be type-set easily the arrow-head was moved in front of such variable which resembles the Greek letter "lambda".
- jacquesm 8y agoLambdatheultimate should be renamed to Lambdathetypo.
- AnimalMuppet 8y agoAh, but it's lambda the ultimate typo...
- zodiac 8y agoThis etymology is an urban legend.
- yannis 8y agoMore likely a hat (following Russel's Principia) maybe simulated as a `/\` capital Greek letter "L" which then was changed to the Greek lower letter lambda. Church's book in 1941 was typed using what looks like a typewriter. The name was catchy though.
- deleted 8y ago[deleted]
- mimixco 8y agoI think the word you're looking for is "caret."
- rbonvall 8y agoI prefer to believe this anecdote by Dana Scott: https://youtu.be/SphBW9ILVPU?t=575 https://youtu.be/SphBW9ILVPU?t=575