I certainly do see the value of explicit declaration -- with types -- in environments where the cost of running unit tests is high, or where the general model of computation in the language and ...