Airspeed Velocity

@AirspeedSwift Using node identity for index equality also violates the requirement that indexes be equal for equal collection values.

@jckarter across two independently-constructed collections?

@AirspeedSwift Yeah. Equal values should be indistinguishable.

@jckarter Equal collection values as in Equatable.==? Or bitwise?

@AirspeedSwift @jckarter Element-wise, I believe.

@rob_rix @jckarter cos if the former, String would have trouble with this requirement, no? Given "\u{00E9}" == "\u{0065}\u{0301}"

@AirspeedSwift @rob_rix @jckarter isn't that why String isn't a collection anymore?

@AirspeedSwift Do you have a full playground of the final form? Slight error here trying to rebuild it: https://gist.github.com/rnapier/07b1b176cf66edd357f4 …

@airspeedswift awesome post, as always :) I was surprised you didn't mention constraining Element to Equatable to deal with ForwardIndexType

@NachoSoto you mean, two indices are equal if they point to two equal lists? Yeah, though this leads to index equality being O(n) :)

@AirspeedSwift isn't that normal for a linked list?