„Guy Steele and Gerald Sussman create Scheme. Their work leads to a series of "Lambda the Ultimate“ papers culminating in „Lambda the Ultimate Kitchen Utensil.“ This paper becomes the basis for a long running, but ultimately unsuccessful run of late night infomercials. Lambdas are relegated to relative obscurity until Java makes them popular by not having them."
jj, zacalo to o hodne drive, jeste per desitek let pred Steelem a Sussmanem:
1936 – Alonzo Church also invents every language that will ever be but does it better. His lambda calculus is ignored because it is insufficiently C-like. This criticism occurs in spite of the fact that C has not yet been invented.
Dobry odkaz!
1973 – Robin Milner creates ML, a language based on the M&M type theory. ML begets SML which has a formally specified semantics. When asked for a formal semantics of the formal semantics Milner's head explodes. Other well known languages in the ML family include OCaml, F#, and Visual Basic. :-D