Tomáš Petříček, Faculty of Mathematics and Physics
petricek@d3s.mff.cuni.cz |
https://tomasp.net
ENIAC ('45) programmed
by plugging cables

Algol ('60) programs as entities in a formal language

Programming as translation from human language into "the language the machine can understand"
Using computer itself to "take over routine, mechanizable aspects of the programming process"

TX-0 computer
at MIT from 1958
Interactive programming
Inspect program state
modify while running
Simula ('67) language "talks" about object behaviour

Smalltalk ('76) interactive medium for information


From programming systems to programming languages
From gestures to languages?
Language perspective incommensurable with the gesture perspective

Programming by demonstration
Guided through steps in "training mode"
Repeats the steps in "production mode"
Branch of geometry in ancient India which used only diagrams
Iconic representation of parameters,
emphasis on doing rather than telling

Abstracting gesture?
Abstract computation described using icon manipulation
Image rather than language!
Language, gesture, picture in programming
Tomáš Petříček, Faculty of Mathematics and Physics
petricek@d3s.mff.cuni.cz |
https://tomasp.net