When learning typesetting, using a Monotype machine, one space was the rule. The space width might vary according to the length of the line and the way in which the characters fitted into the width. I was not taught to put in double spacing when learning to type either.
It is odd what becomes a norm and then changes again. With all the insistence on reducing keystrokes, then to require an unnecessary one ... !
