> identified by a hash of its implementation Sound a lot like darklang. Like others, I am dubious about this being in any way a useful feature. Separating im

> identified by a hash of its implementation Sound a lot like darklang. Like others, I am dubious about this being in any way a useful feature. Separating implementation from name (/interface) and binding to that interface/name instead of the implementation is one of the fundamental and useful parts of abstraction.