A few links to Programming languages that have Linear Types https://gitter.im/lampepfl/dotty?at=5cff637cdab2d11d80704bf9 … @v_sassone see:
• Linear types extension in Glasgow Haskell
• Idris 2
• Rust may have something close
thanks @bishabosha & @milessabin
-
-
Ah yes, I record some troublesome person with a name very similar to that of
@milessabin asking you about those in that talk... ;-)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.