4 ms·
With good organization and model checking, I bet you could write better software in this language than 95% of developers write in popular languages. I agree wi
by dqpb 4y ago
With good organization and model checking, I bet you could write better software in this language than 95% of developers write in popular languages.
I agree with Leslie Lamport - the problem is not the programming language, it’s the way you think about systems.
- topaz0 4y agoThanks for the vote of confidence, but maybe it would be more relevant to ask whether I could write better software in this language than I could in other languages (taking as given good organization and model checking). I agree with your paraphrase of Lamport as far as it goes -- the language will not save you if you don't have a clear model of the problem. But languages are more or less suited to mapping from algorithms to code, and (relatedly) organization of that code.