Type-driven development: reclaiming the "TDD" acronym for the greater good! /cc @edwinbrady
#flatmap
-
@propensive is there someone wrong with TDD as it stands?
@TenorB Yes, I think so: My biggest problem is the lack of confidence it gives me that my software is correct (in comparison to types).
-
-
@propensive do you think types are an alternative/replacement to TDD? -
@TenorB Yes, though switching from one to the other requires the programmer to adopt a variety of changes to coding style and approach.
End of conversation
New conversation -
-
-
@TenorB It's also frustrating to maintain both code and its unit test in parallel. If they're not in-sync, then false positives may occur! -
@propensive I guess types do solve a majority of problems that typical dynamic-language unit tests solve - Show replies
New conversation -
-
-
@propensive@TenorB your code can be still incorrect with types... -
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.