I think so, yes. I think Haskell helps with this. You can write the top level code first, and be fairly confident that, if the types are sensible, there will be a sensible implementation by the time you reach the bottom.

It also helps that there's so much code reuse that the "depth" reached is quite shallow compared to what you might see in other languages.