Exactly. So much that often with a tricky problem or discussion, I ask the person to sit down with me and just code the most relevant parts without implementati

Exactly. So much that often with a tricky problem or discussion, I ask the person to sit down with me and just code the most relevant parts without implementation, just the type signatures. That is so much more productive because it immediately removes or highlights all the ambiguity which you can sugar coat with English but not in a programming language.