The Debug Adapter Protocol is a REPL protocol in disguise

Hmm, the is `type` the static type or the dynamic type, for languages where both apply?