There are arguments to be made for both dynamic and static languages being good for moving quickly or accommodating change, often in the context of a startup. And it's true for both, except that a static language only lets you move quickly between correct programs.
-
-
The curate's program. "Dear me, I'm afraid your program's not correct!" "Oh, yes, my Lord, really – er – some parts of it are very correct."pic.twitter.com/HW8xyjH89a
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Note dynamic typing doesn't mean that the program isn't correct. Often programs are correct, even if the correctness cannot be demonstrated. Of course, as programs evolve, dev's intuition about correctness goes away. Only works as long as you can keep it "in your head".
-
For establishing correctness, automated tests work too — which is what dynamic typing proponents often talk about — except it's not the same thing (exists vs forall).
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.