Type becomes […] a language for ___

[treblacy]

In the section on "statically typed", I don't understand "a language for expressing the construction of programs". However, I think I understand "a language for expressing the interface of programs" better. Or "contract".

[chrisdone]

This is the difference between thinking about type-signatures versus the types of expression tree, i.e. the construction of the program.

[gelisam]

Hmm, I must also have misunderstood what you meant. My pull request (#62) changes it to "Types become [...] a shorthand for documenting proper usage", because I thought you were talking about how types help with the construction of the program, and we had agreed to move my example of that to the type inference section.

Perhaps we could find a different choice of words to convey what you mean? I'd suggest something, but I still don't understand what it is that you mean.