Been mucking about with uniqueness types. Now having too much fun writing pure functional programs which don’t GC. Possibly I need a hobby.
@PLT_cheater They work in Clean, so I expect so, although I don’t know if they use them for destructive update
-
-
@edwinbrady what would an imaginary piece of code using them look like in#Haskell? -
@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.
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.