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
Replying to
Not sure if that question makes sense at all! Just been wondering about it for Pikelet. I’ve been hoping that QTT-style linear types would get me in place updates, but it seems that’s not the case: reddit.com/r/haskell/comm
1
I think so? 😅
1
Show replies