Auto-completion for some dynamic languages has gotten much better with the right tools/editors/plugins. I get where you are coming from but I would argue that

Auto-completion for some dynamic languages has gotten much better with the right tools/editors/plugins. I get where you are coming from but I would argue that there is a bit of a perception issue here. You can surely write fast in typed languages but you also have to write more and think more. But I fully agree with the benefits. Errors, changing/refactoring and documentation. I wonder if we can have the best of both worlds some day. Prototype dynamically and then add types and abstraction progressively in the same language and code base. In theory this is doable with Lisps, but only in a self-imposed, possibly unstructured way.