Mild Shock
2024-02-24 15:48:01 UTC
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.
BTW: The Y combinator has no simple type, because the form
(x x), i.e. x applied to x itself, has no simple type.
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.
Why didn’t he have the self consciousness to avoid the accident?
I guess he lacks the Y combinator gene.
ByeI guess he lacks the Y combinator gene.
BTW: The Y combinator has no simple type, because the form
(x x), i.e. x applied to x itself, has no simple type.
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?”
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?”