Writing software in typed languages is biased towards one big-bang finish, with less visibility of incomplete half-broken versions en route.
-
Data point: Martin added ??? to Scala. Another data point: I use this feature regularly while prototyping.
And likewise null. You can also add type constraints progressively. But the working iterations are fewer and more discrete.
-
-
Hmm, perhaps there is a bias towards that, but it would not be necessary: the increments can be equally small in both cases.
-
I tend to consider that if I can convert specifications into types then I'm not far from target...
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.