Just procrastinated so hard I set up a blog and wrote about linearity and erasure in Idris 2. https://www.type-driven.org.uk/edwinb/linearity-and-erasure-in-idris-2.html … I'm probably not going to make a habit of this...
This is what @Augustsson suggested too, but we already have them! I think there will be other interesting generic programming we can do though.
-
-
You have Open functions?
-
No, I mean first class type classes (or rather, interfaces)
End of conversation
New conversation -
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.