> There are some programmers who don't really care what tools they use as long as they feel productive. They shy away from things like types because it feels li

> There are some programmers who don't really care what tools they use as long as they feel productive. They shy away from things like types because it feels like it slows them down. Right. The group that came up with the concept of a REPL and live in Emacs doesn't care about tools.