I'm in favor of expressiveness. I'm against terseness.
Why in heck are we all still programming in GD text? Why not program in some sort of hypertext? IDEs have become so automagical and serious text editors so often have features like code folding, we're a good deal of the way there anyhow! Why not have a suitable hypertext format paired with a language, such that it's straightforward to do things like toggle between viewing the code with and without type annotations? Then we could have languages/environments that feel like Ruby/Python but which have all of the type annotations if you want them. (And they are useful for maintenance programming.)
