I appreciate what people are getting at with “make invalid states unrepresentable”, but it can't be the best description of what the true objective is. After al

I appreciate what people are getting at with “make invalid states unrepresentable”, but it can't be the best description of what the true objective is. After all, the first language to make invalid states unrepresentable was probably TECO https://en.wikipedia.org/wiki/TECO_(text_editor)#As_a_programming_language https://en.wikipedia.org/wiki/TECO_(text_editor)#As_a_progra... ...