Jon Pretty

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.