On 02/01/2014 06:27 AM, Matthieu Monrocq wrote:
In short, isn't there a risk of crashes if one accidentally links two
versions of a given library and start exchanging objects ? It seems
impractical to prove that objects created by one version cannot
accidentally end up being passed to the other version:

- unless the types differ at compilation time (seems awkward)

Haskell does this. Types are equal if their {package, package-version, module-name, type-name} is the same. (Or maybe it is even more rigorous about type equality.) Using multiple versions of some packages turns out not to be awkward at all, such as libraries for writing tests and libraries that don't export important data types.

-Isaac

_______________________________________________
Rust-dev mailing list
Rust-dev@mozilla.org
https://mail.mozilla.org/listinfo/rust-dev

Reply via email to