4 ms·
> Yeah, it seems it's time to abandon Python since the static typing fundamentalists seem to be getting hold of it. It seems it's time to abandon Erlang since
by dozzie 10y ago
> Yeah, it seems it's time to abandon Python since the static typing fundamentalists seem to be getting hold of it.
It seems it's time to abandon Erlang since static typing fundamentalists seem to be getting hold of it, with its typespecs and Dialyzer.
Oh wait, it's still dynamically typed.
- raverbashing 10y agoDialyzer seems to be Erlang's Pylint (which does type analysis but still lets you do dynamic typing) And I'm all for Pylint, it also proves type hints are not needed for this kind of type analysis
- dozzie 10y agoWell, sort of. Dialyzer can do quite well if you run it on code with no typespecs whatsoever, but if you add those, it can detect so many more mistakes (which is the whole point of such tools). No typespecs feels like crippling the tool, except it was designed to be as useful as possible for old code without modifying it. It just shows how useful the typespecs are.