latest on linear/uniqueness typing?

Any word / thoughts on what the latest is with the linear or uniqueness approach to mutability etc. in non-imperative languages, as opposed to explicit use of Monads? I did stumble upon a sorta relevant POPL09 paper while searching, but I'm more interested in something that is usable and pragmatic rather than something researchy. Of course, those are all highly subjective terms. I mean, I like the idea of Concurrent Clean, but the IDE really gave me the heebie geebies. Seems like maybe DDC is the main contender otherwise? (Basically, I just think that Monads are still a bit of a large hurdle to expect regular folks to deal with.)

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

There's a plugin for the Scala compiler

There's a plugin for the Scala compiler available which implements the uniqueness types scheme described here.

The Scala IDE for Eclipse (here) uses the Scala compiler along with any plugins like the above to drive its semantic feedback. In this particular case, for example, that means that it will show inferred types extended with uniqueness annotations in hovers over expressions, declarations etc.

ok, well now,

that kinda sounds awesome.

Re: Clean

Apparently the Clean folks really are working on a new Haskell front-end. (The last Clean release was 05, but in email they said they're not dead yet!) That could be quite interesting, and I wonder if it might allow one to use uniqueness typing rather than monads even in otherwise Haskellish code.