Type-driven development: reclaiming the "TDD" acronym for the greater good! /cc @edwinbrady
#flatmap
-
@propensive I guess types do solve a majority of problems that typical dynamic-language unit tests solve
@TenorB That's not to say that unit tests are worthless, though types can obviate the majority of them.
-
-
@TenorB e.g. a sorting algorithm can still benefit from unit testing.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.