"But although types reduce the need for tests, they rarely eliminate it entirely" - from the first page of Chapter 1 of Type Driven Development with Idris. I am a bad static typing advocate :).https://twitter.com/garybernhardt/status/1129117642495631360 …
-
-
So you spend your time doing {TDD}^2?
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.