I like the uniqueness typing approach in Clean very much. Function can manage st... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		hannibal5 on July 10, 2013 \| parent \| context \| favorite \| on: Why the world needs Haskell 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 on July 10, 2013 [–]

Have 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) perhaps?]

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact