Zulip Chat Archive

Stream: general

Topic: lawful classes

view this post on Zulip 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?

view this post on Zulip 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

view this post on Zulip 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: May 17 2021 at 22:15 UTC