2 ms·
I have some vague knowledge of category theory, but not enough to follow your argument here. Especially the concept of an 'Arrow' could you explain more clearly
by rocqua 6y ago
I have some vague knowledge of category theory, but not enough to follow your argument here. Especially the concept of an 'Arrow' could you explain more clearly what an arrow, and an arrow comprehension is?
- Garlef 6y agohttps://en.wikipedia.org/wiki/Arrow_(computer_science) https://en.wikipedia.org/wiki/Arrow_(computer_science) https://en.wikipedia.org/wiki/List_comprehension https://en.wikipedia.org/wiki/List_comprehension https://www.haskell.org/arrows/syntax.html https://www.haskell.org/arrows/syntax.html https://www.sciencedirect.com/science/article/pii/S157106611100051X https://www.sciencedirect.com/science/article/pii/S157106611...