Also, with strong type systems (that encode behavior checks) how do I go about writing code incrementally and evolving the design as I go?
Indeed. Types can evolve as well as programs. I generally refine the types as my understanding of a problem develops.
-
-
@edwinbrady could you share a link to a post or a video, where there is a small example of parallel evolution of types and the implementation, so that I can understand how it looks in practice better? - 6 more replies
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.