Been mucking about with uniqueness types. Now having too much fun writing pure functional programs which don’t GC. Possibly I need a hobby.
-
-
Replying to @edwinbrady
@edwinbrady can uniqueness types work in#Haskell to prevent it from GCing?1 reply 0 retweets 0 likes -
Replying to @PLT_cheater
@PLT_cheater They work in Clean, so I expect so, although I don’t know if they use them for destructive update1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady what would an imaginary piece of code using them look like in#Haskell?1 reply 0 retweets 0 likes
Replying to @PLT_cheater
@PLT_cheater Don’t know about Haskell, but in Clean (similarly in Idris) it looks like normal code, but with an annotation on the type.
12:22 PM - 20 Aug 2014
0 replies
1 retweet
0 likes
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.