A few links to Programming languages that have Linear Types gitter.im/lampepfl/dotty see:
• Linear types extension in Glasgow Haskell
• Idris 2
• Rust may have something close
thanks &
Conversation
1
2
5
Hope the talk and questions on granule get recorded. Someone is bound to ask: are linear types on the roadmap for #dotty? typelevel.org/event/2019-06-
2
1
Very interesting paper on the Granule site: "Combining effects and coeffects via grading". It starts with how Monads are effectful (correspond to changes in the computational context) and comonads are coeffectful (correspond to requirements on context)...
1
4
Yeah, I'm super interested about the prospects of this stuff for systems programming, which often can't handwave away situational requirements to some abstracted-away runtime system. But it seems useful for a bunch of other useful stuff as well.