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

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!