This looks pretty awesome: linear types (similar to rust) unified with Haskell's existing types: https://ghc.haskell.org/trac/ghc/wiki/LinearTypes …
-
-
-
Replying to @milessabin
but I don't see the `a -o b` nor the subtyping relationships. Did I miss that?
1 reply 0 retweets 0 likes -
Replying to @milessabin @posco
there is still lots of work to do and it's not documented yet... It implements @pigworker's Wadlerfest paper
2:07 PM - 10 Jan 2017
0 replies
0 retweets
1 like
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.