In Spire we're thinking of downgrading Eq[A] from equality to just an equivalence relation. What do you think? Good? Bad? Ugly?
@d6 @mcclure111 I think that equivalence relations are more useful to me in most cases, but equality is critical in some
-
-
@d6@mcclure111 So, perhaps we do need both...Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
-
@mcclure111@tixxit Right. The big cases I can think of for wanting real equality are things like memoization/caching/etc. - 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.