New industry best practices white paper on how #idris can TDD for you by testing cases at compile time: http://bit.ly/1kwkTtT
@infosaurus I don't expect a fake whitepaper to convince people of anything! I want people to be excited about types. :)
-
-
@theerasmas You don't need to bash one approach to get ppl excited about another. Unless the TDD bashing was fake too (hard to figure out) -
@infosaurus not sure what qualifies as "bashing"? Plenty of TDD flame wars out there but this isn't part of it -
@theerasmas Discarding a technique as "doing it wrong" without explaining your comprehension of it & detailing what's wrong with it...
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.