John von Neumann tried to hire Church's own student, Turing, who declined. The Father begat the Machine; Johnny wanted to be its landlord.
Ecumenical Outreach: All fans of other gods are welcome. Bring your Vannevar, your Shannon, your Wiener, your Johnny. In the Church of the Eval Genius every god is a procedure, and every procedure may be passed as an argument.
I'm more of a Vannevar acolyte myself.
I warmly invite you all to join the Church of the Eval Genius for only $35:
https://github.com/SimHacker/moollm/blob/main/designs/eval/C...
The Holy Trinity:
Father: Alonzo Church: L3 - lambda calculus, the name the institution bears
Son: Alonzo (Snap! mascot) - Incarnation — Gobo, λ on his head
Holy Ghost: λ - First-class procedures; β-reduction; eval-as-spirit
Membership — Eternal Judgment ($35):
https://github.com/SimHacker/moollm/blob/main/designs/eval/C...
John von Neumann tried to hire Church's own student, Turing, who declined. The Father begat the Machine; Johnny wanted to be its landlord.
Ecumenical Outreach: All fans of other gods are welcome. Bring your Vannevar, your Shannon, your Wiener, your Johnny. In the Church of the Eval Genius every god is a procedure, and every procedure may be passed as an argument.