If I wanted to find every usage of `MyType#equals` in my codebase (because I want to replace it with `Eq`) what would be a good way to do that?
-
Can a macro find Eq a implicitly and replace codegen of == for it or default to equals when not found? Same for Order and other operators like >, <, ...?
Would that be an annotation macro? I think it probably could... Alternatively, a compiler plugin could do it. Order operators are a bit easier, because they're not on every single object, and the types they do exist for usually have the implementation you always want...
-
-
Yeah I was thinking that a mode for most FP programs would be that if you provide or auto derive a cannonical Eq, Order, Semigroup, etc then the use of the type class won't require different syntax from what people already now since those are the lang operators already.
-
That's a good point. I don't want to have to remember to write `===` (or something similar). But I think I'd still need to remember the macro annotation everywhere. A compiler plugin could avoid that, though. (At which point, I begin to lose some interest... ;) )
- Show replies
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.