Re: Impossible to　Lambda calculus, LISP can be.

Pascal J. Bourguignon writes:
mugabedaitouryou@xxxxxxxxx writes:

What good is this understanding?

Not too good, but we can guess what you mean.

Actually, I think you read mugabedaitouryou's question exactly
backwards :) I think they asked if Lisp's generalized conditional
expression, where any non-nil value counts as true, can be expressed
directly in lambda calculus.

I think mugabedaitouryou's understanding is good: in some sense, the
generalized conditional expression needs to be a primitive.
.