[staticassertion]

P is a really cool language, and I've been keeping an eye on it. Unfortunately, the documentation has been pretty perpetually out of date, and the language is still a moving target. So you can't just "get started" in P, the example code won't compile.

I don't know what their plans are or if they ever intend for it to be consumed outside of MS. If they do, some focus on docs would be nice.

Pony is a similar language - but better documented. If you're interested in P, I suggest checking out Pony.

[rurban]

Pony generates also much tighter, better, faster code. Code which I would use in a driver. Not managed C#. I know no other language which generates faster code. I mean faster than C++ with OpenMP, while being memory and concurrency safe.

P has fantastic proof and test generating libraries and IDE's though. In pony you'll have to write perfect code to pass the type checker. P does much better handholding to get there.