So we've got data plus my experience plus my team's experience in a large, very successful enterprise on one side, and we've got snark and defense of existing habits on the other? I'll take the risk, I think.
You've got "data" and "experience". I also like the part of your post where you are implying that using dynamically typed languages is some sort of act of defiance. What typed languages have you used?
Btw do you care about John Carmack's opinion on the subject?
You didn't present an argument, you just put my words in quotes and then made an appeal to an irrelevant authority. John Carmack doesn't do web apps, he does high-end 3D engines You couldn't pick a more different field and still be in the business of writing code for computers.
Neither did you. That link you posted is laughable. Like there isn't a single agreeable thing about the research it presents and the methodology by which they arrive at the conclusions it makes.
> to an irrelevant authority
Is that kind of like appealing to "experience" and "team experience"?
> John Carmack doesn't do web apps, he does high-end 3D engines
Is this an admission of the possibility that types work in one subfield of programming? If so, how is that subfield different from another subfield.
Have you noticed that you never speak in concrete terms, only pejorative adjectives? Saying you find something "laughable" and not "agreeable" is a feeling, not a refutation.
> Have you noticed that you never speak in concrete terms, only pejorative adjectives? Saying you find something "laughable" and not "agreeable" is a feeling, not a refutation.
Well, neither do you.
I mean, if I have to spell it out for you (but the summary is that they take languages that aren't good examples of typed languages and make conclusions based on those). But more detailed breakdown:
First slide. They make their own languages (first issue) snd have people solve small problems (second issue). Advantages of static typing really kick in for larger projects. Also, different type systems have different advantages so this comparison holds little informational value
Second point, they are talking about code that has already been written, it doesn't say how much time was spent making the code correct. I really don't know what to conclude from their data though.
> His point there is that all that static boilerplate you write to make a statically typed language happy,
He's ignoring statically typed languages with type inference. They have been around since the 70's.
> Some other study compared reliability across languages and found no significant differences. In other words neither static nor dynamic languages did better at reliability.
How do you measure readability (notice that good research would indicate this).
> Part of that was reflected in size of code. Dynamic languages need less code.
They are comparing python vs C/C++/Java. Code terseness is orthogonal to type systems. Why do they not include say, Haskell?
> Another point he made is that writing static types is often gross and unmaintainable whereas writing unit tests not.
Hahahaha, what? Unit tests are more maintainable than types? And he gives a C++ example?
So we've got data plus my experience plus my team's experience in a large, very successful enterprise on one side, and we've got snark and defense of existing habits on the other? I'll take the risk, I think.