I didn't expect this to work. Plenty still to do here, and it's not quite the type I'd want, but linear types really are quite fun...pic.twitter.com/nNe3RZ0H5t
-
-
Ah yes! Think you can fix that?
-
It's not immediately obvious how, but we have only just begun so we'll see :)
- 1 more reply
New conversation -
-
-
Possibly dumb question: doesn’t the argument to f need to be linear because xs is linear? Or does the decomposition into x : xs count as its one use, independent of the uses of the head and tail?
-
x :: xs, I mean. (I’m not sure what language this is.) Should listMap (\x -> (x, x)) [1,2,3] be allowed (modulo appropriate syntax for this language)?
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.