Programming in promises requires thinking about type signatures
blog.denizac.org
blog.denizac.org
Dynamic properties of languages should only be used from the perspective of saving time - it's less work to make changes to code because you don't need to conform to a type system. I feel like more often than not it's used as an excuse to write sloppy code. You simply cannot write good code without keeping your types and function signatures correctly.