* Niko Matsakis: > Here is a proposal to work around a potentially serious problem with > the modular type classes we have been discussing. The problem, as > explained, is that collections (and possibly other data structures) > can lose coherence if they are used with incompatible implementations > of type classes like `hashable`.
Is this to related to Weirich et al., "Generative Type Abstraction and Type-level Computation", in the sense that it is a precursor of the problems discussed there? _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
