3 ms·
I like the uniqueness typing approach in Clean very much. Function can manage state of variable destructively if the variable is declared unique (there can't
by hannibal5 13y ago
I like the uniqueness typing approach in Clean very much.
Function can manage state of variable destructively if the variable is declared unique (there can't be other references, so there can't be side effects from destructively modifying the value).
It's easy to understand. It opens more avenues for fast code, and it keeps the purity.
- nimrody 13y agoHave you actually used Clean in production code? Can you share some of the tradeoffs of that approach? Looking at Clean's documentation it certainly seems nice, but I know of no other language that had adopted Uniqueness typing. [Clojure's Transients (http://clojure.org/transients http://clojure.org/transients) perhaps?]