Zulip Chat Archive

Stream: general

Topic: lawful classes

Simon Hudon (Mar 23 2018 at 16:30):

I'm having a look at the new is_lawful_functor. I just realized that it does not extend functor. That makes some signatures pretty verbose. Is there a plan to make shortcuts like lawful_functor that would combine both?

Mario Carneiro (Mar 23 2018 at 18:37):

I think it used to be bundled and was later unbundled. Of course you should ask Sebastian for the full story

Sebastian Ullrich (Mar 23 2018 at 19:50):

I'm not convinced of the useful of such shortcut classes. You cannot have class inference convert both to and from the class without risking cycles, which would make their usage quite clunky, I'd imagine.

Last updated: Dec 20 2023 at 11:08 UTC