planguage
Re:P Language
on Friday January 06, 2023 @02:15PM (#34279426)
Yes, P has been updated a lot in the last 6 years. Much better documentation and compiler. There is going to be a new release in a couple of months with a verifier as well as a way to check P specifications on implementation.
Re:P Language
on Friday January 06, 2023 @02:08PM (#34279327)
https://p-org.github.io/P/tutsoutline/
Simple Client Server example: https://p-org.github.io/P/tutorial/clientserver/
Re:P Language
on Friday January 06, 2023 @02:05PM (#34279299)
There was a talk on P at StrangeLoop as well: https://www.youtube.com/watch?v=5YjsSDDWFDY