I was having a read of Programming as Theory Building ( and now I'm thinking about if it's possible to design software in a way that makes it's theory easy to impart. Not necessarily a programming language, but at the design level.

Or possibly out of chunks of well-known theory. Dare I say "pattern language"?

· · Web · 0 · 0 · 0
Sign in to participate in the conversation

The original server operated by the Mastodon gGmbH non-profit