copergi
Joined 12 years ago
Joined 12 years ago
Why would that happen? Ignorantly bashing haskell strawmen is pretty common here. Btw, while you hit two of the biggest ones, you did forget to complain about it being "academic" and thus unusable for "real world" programming. That should be pretty much standard by now.
We don't expect that. We expect them to recognize that better type systems are better than worse type systems. Which seems pretty obvious when stated that way.
>I have yet to read anyone who advocates for dynamic typing describe static typing as a "flaw".
Try looking on the internet. Every "static vs dynamic" argument has 99% of the dynamic side arguing that static typing is bad because java's type system limits them and doesn't prevent any bugs.
Go is not in that world. It isn't even in the same star system.
No, people who didn't read it and just repeat the title without knowing what he was talking about may be too naive, but the original point was not.
And I can do it without ctags. That's the point.
>Depends, one proeminent C project doesn't use that: the linux kernel
That doesn't make his statement "depends" at all. A single project not using that style does not contradict it being "pretty common".
Javascript does not define the implementation details. It does not have to be interpreted, and in fact I don't believe any modern implementation is interpreted. Javascript is generally compiled to byte code which is then run in a VM, or native machine code (V8 at least does this). There is no reason javascript could not have a static type system, there are statically typed scripting languages. It is dynamically typed by deliberate decision, not "we can't do it any other way".