It's worth noting that this isn't just a research language -- it's used in practice for writing drivers:<p><i>P got its start in Microsoft software development when it was used to ship the USB 3.0 drivers in Windows 8.1 and Windows Phone. These drivers handle one of the most important peripherals in the Windows ecosystem and run on hundreds of millions of devices today. P enabled the detection and debugging of hundreds of race conditions and Heisenbugs early on in the design of the drivers, and is now extensively used for driver development in Windows.</i>
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.<p>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.<p>Pony is a similar language - but better documented. If you're interested in P, I suggest checking out Pony.
At last, the long awaited successor to C, at least in the naming convention that assumes P comes after C because of BCPL. (Apologies to Walter Bright: No inference should be drawn that D was not also a good name for that sequence.)
Here is a demo for using P to program a drone, shows a little more of the language itself: <a href="https://www.youtube.com/watch?v=R8ztpfMPs5c" rel="nofollow">https://www.youtube.com/watch?v=R8ztpfMPs5c</a>
Can we stop naming programming languages with letters and symbols and give it proper names that, when googled (or binged), makes the programming language appear on top?
If anyone is interested in syntax and more tangible bits, here is the manual from the GitHub page linked to in the article:<p><a href="https://github.com/p-org/P/blob/master/Doc/Manual/pmanual.pdf" rel="nofollow">https://github.com/p-org/P/blob/master/Doc/Manual/pmanual.pd...</a>
P is also being used to build safe robotics systems.
<a href="https://drona-org.github.io/Drona/" rel="nofollow">https://drona-org.github.io/Drona/</a>