1930's 1950's
theoretical
practical work
Combinatory Logic (Moses Schönfinkel and Haskell Curry)
1930's 1950's
theoretical
1950's 1970's
expressed as [Variables, Functions,
Combinators, and Applications]
1970 Chuck Moore
practical work
UPS and Fedex: digital signature tablets
Power companies: electrical switches
GE SONET switch: Forth is the OS and REPL
NASA satellites run on Forth.
The space shuttle’s robotic arm and flight navigation computers were programmed in Forth.
1977
John Backus Turing Award lecture
theoretical
1982
practical work
2001 Manfred von Thun
theoretical
practical work
"The Theory of Concatenative Combinators"
all expressions denote functions […] juxtaposition…denotes function composition.
a search for minimal set of combinators:
2002 Brent Kirby
theoretical
2003 Slava Pestov
theoretical
practical work
2003 Slava Pestov
2006 Christopher Diggins
theoretical
practical work
2011 Jon Purdy
practical work
theoretical