Look, I have a lot of affection for dynamically typed languages. I cut my teeth on Ruby, I love Emacs Lisp, and I lead a popular dynamically-typed language. But look: if you don't want to write type annotations, you gotta write documentation. There has to be some way for someone reading the code to figure out "what is the shape of this object and what assumptions can I safely make about it" without reading the entire fucking application.
