Lambda the Ultimate

"COMPOSITA is a new programming language with an integrated general component notion. It is designed to promote structural clarity, high dynamicity, and inherent concurrency in the construction of modern software systems."

The COMPOSITA Language

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.)