Thus a programming-language comparison like 2==2.0f must either be false, or produce a compile-time error to report potential confusion when mismatching different data types. IEEE 754 makes the converse mistake by introducing an x such that x!=x.
-
-
Show this thread
-
Similarly, given value x of type t, if a compiler allows automatic conversion to type u, then we should expect to have f(a)==f(u(a)) for all functions f, but most languages also violate this. Haskell and ML stand out as being honest about equality and conversions.
Show this thread
End of conversation
New conversation -
-
-
The process described in the blog post is similar to the mess JavaScript got into with implicit conversions—a bunch of steps that make sense *locally* end up being fundamentally inconsistent when you consider the language as a whole.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Follow you to remind myself how little I know about programming
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Dammit Tim.
#programmerCopThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Sometimes one defines equality for a struct such that it only considers a subset of fields: typically one is an ID and others are metadata. Do you think this is also 'wrong'? I'm not sure myself... it's a proper equivalence relation, but fails the 'indistinguishability' test.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
None of them violate this. Their subroutines don't represent functions (and don't claim to) but a different mathematical object.
-
Who says f has to be a function? I tend to think of it as standing in for a “context”. Two things are equal iff they produce the same result in all contexts.
- 6 more replies
New conversation -
-
-
Pls optimise fortnite for older android devices first
-
This Tweet is unavailable.
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.