An implicit equality typeclass instance, 2015: implicit val intEqual: Eq[Int] = new Eq[Int] { def equal(x: Int, y: Int): Boolean = x == y } (1/8)
Show this thread
-
My favorite is the "forgotten experiment." It says what you mean; it declares a witness to `Eq Int`, with a name. That means it can be used both directly as an object (by name), and by inference to satisfy constraints. Seems ideal.
Around that time @odersky was considering about five different keywords to replace "implicit". I joked at the time that if we started calling them "witnesses", to work around the other changes to implicit scopes, we'd need a "witness relocation program"...
-
-
Anyway, the "forgotten" is more of a reference to my memory—I don't remember the exact syntax! But what we're getting in Scala 3 can also be named, but it's optional... and it gets an ugly generated name if you don't specify one.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Heh, yes, we've made the same joke...
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.