I am more than eager to see all the beautiful programs you inferred using predicate transformers and hear about your experiences doing software engineering this way in teams of size more than 1.
I don't have such programs. But I have plenty of the contrary: either zero documentation or something that's just a notch above useless. Contempt on new programmers that happen to be ignorant about their precious code and how dare they ask questions? Isn't it obvious from the hundred of lines of code that have no beginning and no end?
So, you got me here. I don't have such code, but the more I get experience the more I see that people don't care.
Comments
I am more than eager to see all the beautiful programs you inferred using predicate transformers and hear about your experiences doing software engineering this way in teams of size more than 1.
I don't have such programs. But I have plenty of the contrary: either zero documentation or something that's just a notch above useless. Contempt on new programmers that happen to be ignorant about their precious code and how dare they ask questions? Isn't it obvious from the hundred of lines of code that have no beginning and no end?
So, you got me here. I don't have such code, but the more I get experience the more I see that people don't care.