Type-driven development: reclaiming the "TDD" acronym for the greater good! /cc @edwinbrady
#flatmap
-
@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).
@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 -
@propensive I think the practice of write-code-to-pass-the-tests TDD is still applicable to typed languages and useful.
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.