SOMETIME
The Future of Programming
talkvideo
Examples
Mentions the benefits of direct manipulation of data + interactive systems vs hardcoding documents (a la HTML)
Examples
Also Sketchpad
Carl Hewitt's [ Planner ] 1969
Reasons forward procedurally, and backwards from goals
Prolog
Pattern matching
Ralph Grisworld's [ SNOBOL ] - 1962
Ken Thompson's [ Regular Expressions ] - 1967
Licklider's global network of computers
Refers
"communicating with aliens" problem
Solution
Dynamic negotiation of protocols
Non-solution
API
They require a pre-specification that won't be broken
These are low-level problems that should be solved by machines