I find that specifying parameter types, encouraging pure functions, and encouraging small functions is the best formula to be able to reason locally about code, which I think is one of the most powerful abilities in order to not be overwhelmed by large and complicated projects. I find myself increasingly drawn toward languages and frameworks that encourage this sort of programming. Fortunately, I seem to be in agreement with many language and framework authors these days, and I'm really excited about the landscape over the next few years.