3 ms·
> I don't understand people arguing against type systems on principle I believe these are the people who relate type systems to languages like C++ and Java, an
by bjpbakker 9y ago
> I don't understand people arguing against type systems on principle
I believe these are the people who relate type systems to languages like C++ and Java, and dismiss type systems as a possible solutions because they've only seen the poor ones.
Back when I wrote a lot of Java code I mostly used TDD to write software that works. The type system didn't help that much. Robert "Uncle Bob" Martin dismisses type systems as "reducing the incidence of textual errors in a program" [0]. I doubt that Robert Martin is very familiar with very strong type systems such as in Idris, Coq, Haskell, etc.
Many programmers (most I know actually) don't learn these languages as they aren't useful to get a better job, earn promotions, etc.
[0] - http://blog.cleancoder.com/uncle-bob/2017/01/13/TypesAndTests.html http://blog.cleancoder.com/uncle-bob/2017/01/13/TypesAndTest...
- blub 9y agoWell if one can't get a job programming Idris, Coq or Haskell and they're not used in OSS infrastructure software either, what's the point of learning them? Then they literally have zero direct effect on improving the safety of anything. One would be better off learning TLA+ and coding in C, or using Frama-C or Misra etc.
- bjpbakker 9y ago> what's the point of learning them I personally enjoy learning new languages and I can always apply the concepts I learn in other languages that are used on the job. Not judging others who don't enjoy that, though. It's more surprising that there's no real incentive from companies to write better software. People seem to accept a whole lot of shit when it comes to their phones and computers, and are happy to pay for it.