Hi,

I am still in state of shock, since I somehow believe that
a very renowned programming language implementor didn't know
how type theory relates to logic.

So I made this joke:

> Why didn’t he have the self consciousness to avoid the accident?
>
> I guess he lacks the Y combinator gene.

Bye

BTW: The Y combinator has no simple type, because the form
(x x), i.e. x applied to x itself, has no simple type.

Or this joke a fragment generated by gemini:

> The light bulb flickers and dies, plunging them into darkness
>
> The S Combinator remains calm and collected. “Simple,” it
> declares. “We follow the predefined procedure for light
> bulb replacement. Step one, retrieve the appropriate bulb
> from storage…”
>
> Before it can finish, the Y Combinator interrupts, its
> internal logic circuits whirring. “But wouldn’t it be more
> efficient to self-apply the process, creating a loop of bulb
> changes that ensures continuous illumination?”