this is like reading a politics post by someone who doesn't know there's anything but "liberal" and "conservative" http://blog.cleancoder.com/uncle-bob/2017/01/13/TypesAndTests.html …pic.twitter.com/3wzeYZsfrX
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
The person who wrote this post is an expert on TDD. He makes a valid point that getting 100% code coverage in practice is >>
useless. Seems like he's extending that to type safety (idk whether I agree, but I've seen lots of ppl blowing this post off)
idk who it's by but this is oop-er tunnelvision nonsense
"OOP Design Patterns exist mainly to deal with the problems that exist by using OOP" or something...
he seems to have the same view I did when I'd been programming for like six months, that "static typing" means java boilerplate
"types are only metadata" is also a point made by OCaml-loving Steve Yegge in this nice piece: http://steve-yegge.blogspot.sg/2008/02/portrait-of-n00b.html …
His thoughts on C++ remind me of that fake Stroustrop interview...
"types do not specify behavior" ... wrong
TIME FOR SOME TYPE THEORY
Makes sense. Java is moderately conservative, Python is liberal, and Haskell is recently redpilled ex-liberal
(@alicemazzy this is; painful, to read.)
Can't help but tune out the entire 'debate.' So much screeching and butt-hurt. Meanwhile, everyday programming goes on.
over half the code in one service i regularly work on could be improved with typeclasses like Traversable
so there are serious consequences from bad tooling in everyday programming
Agreed, my point is more that such 'debates' have never changed anything - everyday dev will b determined by incentivs
this is true
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.