A few days ago I argued that even though type declarations aren’t the best possible solution for any particular problem, they can be the right solution for solving several problems at once. I baffled even smart people. If I had longer I’d write a clarification. As it is, I’ll just give an example.
Type Declarations as Documentation
Let’s say that I’m writing a function f() that takes two arguments: