4 ms·
Previously: https://news.ycombinator.com/item?id=12673739 https://news.ycombinator.com/item?id=12673739 Oct 2016, 86 comments I'd missed it, glad it came up ag
by hcs 4y ago
Previously: https://news.ycombinator.com/item?id=12673739 https://news.ycombinator.com/item?id=12673739 Oct 2016, 86 comments
I'd missed it, glad it came up again!
- nine_k 4y agoI don't remember seeing it back then. I hope that it has somehow improved during the 6 years that passed.
- planguage 4y agoYes, 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.
- dang 4y agoThanks! Macroexpanded: P: A programming language for asynchrony, fault-tolerance and uncertainty - https://news.ycombinator.com/item?id=14377941 https://news.ycombinator.com/item?id=14377941 - May 2017 (40 comments) The P programming language - https://news.ycombinator.com/item?id=12673739 https://news.ycombinator.com/item?id=12673739 - Oct 2016 (87 comments)