hey, I’m curious what the 1 multiplicity behaves like in the effect position in Granule. Would that be equivalent to uniqueness? Ie. vs. the coeffect position which would be linearity?
Conversation
Do you mean what a type like `a <1>` vs `a |1|` means?
1
That doesn't mean anything in Granule at the moment.
Whether the multiplicity being an effect vs coeffect (i.e. grading on a monad vs comonad) has anything to do with linearity vs uniqueness is a great question. I need to think about this one a bit. Let me know if you find out!
1
1
PS: there is a simple explanation of uniqueness vs linearity here: edsko.net/2017/01/08/lin
1
2
Show replies