Closed safareli closed 6 years ago
I would very much like to have a purescript-categories
in the core library set, with, at a minimum, CCCs and symmetric and braided monoidal categories.
But I don't think it needs to be in Prelude.
And possibly instead of -> we can use this classes in prelude too
I don't think we should do that, since we'd need to overload lambda for it to be really useful, but I think we could consider adding some sort of category notation.
Closing this as we're not going to do it in Prelude
specifically.
Recently I saw this talk by @conal and there are some interesting aspects, like introducing
Cartasian
andClosed
classes.With fandeps we can express Cartasian for example like this:
And possibly instead of
->
we can use this classes in prelude too. for example