@tpolecat @jedws @nuttycom @puffnfresh JVM gives us the following:
equals :: forall a . a -> a -> Boolean
hashCode :: forall a . a -> Int
-
@dibblego@jedws@puffnfresh@tpolecat@nuttycom Given that most of the context of this argument hasn’t been written down, you’re missing.
@djspiewak @jedws @puffnfresh @tpolecat @nuttycom OK, I thought you meant all the twitter context, which is difficult to follow.
-
-
@dibblego@jedws@puffnfresh@tpolecat@nuttycom Yeah, Twitter’s a bad medium for all this.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego@jedws@puffnfresh@tpolecat@nuttycom There’s a lot of back and forth that I haven’t copied over.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego@jedws@puffnfresh@tpolecat@nuttycom Fundamental problem: user definable Eq is not necessarily the “real” Eq. -
@djspiewak@jedws@puffnfresh@tpolecat@nuttycom I've no idea what you said, but I am certain it doesn't influence the boring fact. - Show replies
New conversation -
-
-
@dibblego@jedws@puffnfresh@tpolecat@nuttycom By “real” I mean the Eq used to define the function.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego@jedws@puffnfresh@tpolecat@nuttycom See here: http://bit.ly/12VQ7YG An equality is required in defn of “function".Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.