Indeed. Which is why I’ve been so vociferous on the subject.
People make a big deal about safety and correctness, but there’s no reason why you can’t write safe, reliable programs in small, dynamic languages like Smalltalk. Robert C. Martin tells us that the key is TDD (Test-Driven Development).
Golang is another example. This language is very small and very simple. Google designed it for large-scale software enginnering. It was designed for writing safe, correct, reliable programs. While it’s statically typed, Golang’s type system is extremely simple. There is absolutely no need to make this language more complicated.