GitHub - p-org/P: The P programming language.

Challenge: Distributed systems are notoriously hard to get right. Programming these systems is challenging because of the need to reason about correctness in the presence of myriad possible interleaving of messages and failures. Unsurprisingly, it is common for service teams to uncover correctness bugs after deployment. Formal methods can play an important role in addressing this challenge! P Over

[p_tan]

P言語

[yosuke_furukawa]

P言語

[matsumoto_r]

実装自体は結構前からあるんか

[mactkg]

ステートマシンとして定義してメッセージをやり取りする

[tmatsuu]

非同期でイベントドリブンなプログラミング言語P。

[fcicq]

microsoft

[dozo]

Ｐ言語。.netフレームワーク、mono上で動く非同期イベント駆動型言語。

[efcl]

P言語。 イベント駆動でステートマシーンな感じ。 すべてのステートをチェックする方法と完全な状態でのステート変更を上手く管理する仕組み via https://www.infoq.com/jp/news/2016/10/microsoft-p-language-opensourced

[igrep]

“language for asynchronous event-driven programming. P allows the programmer to specify the system as a collection of interacting state machines”

[hibariya]

マニュアルでサンプルコードが読めた。ステートマシンたちがイベントでやりとりする様子がコードになっていておもしろい。