P: A programming language for asynchrony, fault-tolerance and uncertainty
1–10 of 42 posts
Re: P: A programming language for asynchrony, fault-tolerance and uncertainty
#2At 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.)
Re: P: A programming language for asynchrony, fault-tolerance and uncertainty
#3It's worth noting that this isn't just a research language -- it's used in practice for writing drivers:
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.
Re: P: A programming language for asynchrony, fault-tolerance and uncertainty
#4If anyone is interested in syntax and more tangible bits, here is the manual from the GitHub page linked to in the article:
https://github.com/p-org/P/blob/master/Doc/Manual/pmanual.pd...
Re: P: A programming language for asynchrony, fault-tolerance and uncertainty
#5Previous discussion: https://news.ycombinator.com/item?id=12673739
Re: P: A programming language for asynchrony, fault-tolerance and uncertainty
#6It's worth noting that this isn't just a research language -- it's used in practice for writing drivers: 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…
This looks SO cool! Kind of like Erlang but at a different level, so you can model both inter-node systems (like Erlang) but also intra-node systems (like USB3 drivers)!
As someone who has been thinking a lot recently about SPARK/Ada and "free" formal verification, can anyone tell me how this language compares on that front? If I write a P program, do I get the ability to "prove" its correctness?
Re: P: A programming language for asynchrony, fault-tolerance and uncertainty
#7P is also being used to build safe robotics systems.
https://drona-org.github.io/Drona/
Re: P: A programming language for asynchrony, fault-tolerance and uncertainty
#8The high-level syntax of the language looks amazing for writing and specifying complex protocols.
Re: P: A programming language for asynchrony, fault-tolerance and uncertainty
#9At 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.)
It's a language for expressing protocols. So, P for protocols most likely. It also focuses on safety and ease of analysis. Can't possibly be connected to the C lineage...
Re: P: A programming language for asynchrony, fault-tolerance and uncertainty
#10At 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.)
L must be lisp, brought here from the future by the space aliens.