been experimenting yesterday with a 1-bit trie, and that made clearer to me how tries and hashmaps relate to interpretation and compilation.
in an interpreter, each instruction only takes single arguments and outputs single arguments to produce definite results.
compilers however attempt to partially specialize functions, which we typically implement using types; but what we're really doing is use types as an approximation for the set of all possible values that could go into a function.