Include type parameters in hash?

[omus]

For some types the parametric types (or values) should be included in the hash. Probably @auto_hash_equals should use the typeof a type when producing a hash?

[omus]

For an example see: invenia/Intervals.jl#47

[omus]

(That "close and comment" button is too close to "comment")

[matthias314]

I think that there is a problem with including type parameters into the hash: It violates the requirement that elements with different hashes must not be considered equal. For example, if you define

@auto_hash_equals struct A{T} x::T end

then isequal(A(0), A(0.0)) is true. Hence the hashes have to agree.

[omus]

isequal(A(0), A(0.0)) is true. Hence the hashes have to agree.

A very good point. I cases where additional information is encoded within the type parameters and those types should not hash to be the same (like in the linked example) declaring a hash method seems like a reasonable approach.

Probably the only thing to be done as part of this issue is to document that @auto_hash_equals isn't a good fit for those scenarios.

[gafter]

This package was completely overhauled in #32. The caller can now decide if type arguments should be considered or not. I made "not" the default for compatibility with existing clients.

Please submit a new issue or PR if you think there is more work to do.