Microsoft open-sources P language for IoT
Microsoft's P language, for asynchronous event-driven programming and the IoT (internet of things), has been open-sourced.
Geared for embedded systems, device drivers, and distributed services, P is a domain-specific language the compiles to and interoperates with C, which itself has been commonly leveraged in embedded systems and the IoT. "The goal of P is to provide language primitives to succinctly and precisely capture protocols that are inherent to communication among components," said Ethan Jackson and Shaz Qadeer of Microsoft, in a tutorial on the language.
With P, modeling and programming are melded into a single activity. "Not only can a P program be compiled into executable code, but it can also be validated using systematic testing," according to the language's documentation on GitHub. "P has been used to implement and validate the USB device driver stack that ships with Microsoft Windows 8 and Windows Phone."
