It's important to use a language built on strong theory, but the language shouldn't force developers to use exactly the same theory in building their own softwa

It's important to use a language built on strong theory, but the language shouldn't force developers to use exactly the same theory in building their own software. Developers should use the most appropriate theory for their program's problem domain; only minimal adaptations should be required for the language. Otherwise developers end up trying to work out a general theory that fits both theoretical models, which is rarely a good use of time.