bs2 · @bsmall2
195 followers · 3346 posts · Server mstdn.jp

... Church switched to the closest thing [to the caret ^], an uppercase lambda, Ax(x + x). The A was easily confused with other symbols, so eventually the lowercase lambda was substituted... was a student of Church's at Princeton, so when McCarthy invented in 1958, he adopted the .
now back to for ??
(define-syntax ^
(make-rename-transformer #'λ)) ; or ; #'lambda
((^ (x y) (expt x y)) 3 4) ; 81

#racket #CaretNotation #notation #AlonzoChurch #lambdaNotation #lisp #johnmccarthy

Last updated 2 years ago