Tomas Petricek, University of Kent
tomas@tomasp.net | @tomaspetricek
What is this about?
Programs, languages or programming?
Anything goes?
Inconsistencies maybe, pluralism certainly
![]() What my boss thinks I do? Programming language theory, data science applications |
![]() What I think I actually do? Programming systems, cultures of programming, philosophy |
![]() What you will think I do? Architecture, urban planning and design |
Complex problems & systems
Alternative paradigms
Science
Study natural world using
experiment aiming for truth
Art
Study human experience using
metaphor aiming for justice
Design
Study the artificial using
synthesis aiming for appropriateness
Jacobs on cities Problems of simplicity Unorganized complexity Organized complexity |
Parnas on software Analogy systems Continuous models Repetitive digital Non-repetitive digital Non-reducible |
![]()
Any product that is sufficiently big (...) must be conceptually coherent to the single mind of the user and at the same time desinged by many minds.
Brooks (1995)
The fact that the layout of the city (...)
lacks a consistent geometric logic does
not mean that it was at all confusing
to its inhabitants. Scott (1998)
Legibility of a cityscape
Legibility of a software
Understanding cities
I know areas around a couple of the stops and some links
There is a way of learning new parts
if I need that
City as perceived by inhabitants
Can we build software like this?
Did we lose something along the way?
Interlisp and Smalltalk appear more inhabitable and navigable
Complementary science
Recover and update interesting past ideas!
Good research strategy
Historical accident?
Utopian urban planning
Modernism, radiant city and garden city plans
Housing blocks in green or rural spaces
Clear organization of functions of the city
Life and Death of Great
American Cities (1961)
How theory does not work
Rigorous software methods
How to study such questions?
Vernacular architecture
Designing for maintenance
At least as good metaphor as
engineering and mathematics!
Incommensurable paradigm
asking different questions?
Tomas Petricek, University of Kent
tomas@tomasp.net | @tomaspetricek