Should a type system for inplace operations on arrays use linear types or uniqueness types? The obvious answer is uniqueness types?
-
-
Replying to @ezyang
@d_christiansen Uniqueness types in Idris work pretty well, right? Any notable downsides?1 reply 0 retweets 0 likes -
Replying to @d_christiansen @ezyang
I’ve played around with them, and they kind of work, but they feel like a bit of a hack. Especially since they lack any metatheory.
0 replies
1 retweet
2 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.