Conversation

It always surprises me when people say that dynamically typed programming is easier for anything but quick scripting. In particular, dynamic types mean that I have to track a lot of information myself, whereas I can forget that information with static types
13
145
So the hard work is left to the compiler instead of my brain, and my brain generally does not appreciate having to track a lot of details across functions and files and so on
1
24
I think more often what people actually appreciate about dynamically typed languages is the ability to easily interoperate between types and to easily overload operators across types, but these things are all possible in statically typed languages
2
28
Also, many dynamically typed languages come with a good REPL because you have to track so much information in your head that it's better if you get a quick feedback loop. More statically typed languages should also have a good REPL IMO
2
28
And we need better tools to help you fix your good when you get type errors. The compiler should do the work of tracking information and warning you, but it should also do a lot of the work of helping you fix things, and that's still missing
1
15
One other thing I think people appreciate about dynamically typed languages is just how easy it is to print things. This is literally the only thing I like about Python. We need to find a way to make printing just as easy in statically typed languages
4
30
the one thing I can think of that it’s worse at is printing an unknown-length sequence of things, which you can do with print(*stuff) in python
1
2