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?”
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)