@edwinbrady You have to either make copies, or extend your type system to support uniqueness types.
-
-
-
@sigfpe@edwinbrady may have been dreaming, but I think@edwinbrady actually has added uniqueness types... - 1 more reply
New conversation -
-
-
@edwinbrady@leashless Especially funny if you work in JavaScript.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady I absolutely want one.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady@smdiehl thats what Ruby hackers do. :p -
@vektorweg@edwinbrady Well every Ruby program does trivially typecheck. ;-) - 1 more reply
New conversation -
-
-
@edwinbrady@pigworker I would like a language that lets me say that at work. And the t-shirt.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady@_skyr Would be moar fun w/ typo in it. ;)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady@missingfaktor I want it!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady you need to do a run of these stillThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.