P: A programming language designed for asynchrony, fault-tolerance and uncertainty - Microsoft Research

The programming model in P is based on concurrently executing state machines communicating via events, with each event accompanied by a typed payload value. A memory management system based on linear typing and unique pointers provides safe memory management and data-race-free concurrent execution. In this respect, P is similar to modern systems programming languages such as Rust (opens in new tab

[moccos_info]

一文字言語を作りたいジジイでも上層にいたのだろうか… 現代では名称のデメリット大きそう

[kimutansk]

非同期処理をするコンポーネントを記述しモデル検査可能な言語。ランタイムも含めて分散合意本にあるSend/Deliverする中間層を用意してくれるようなノリ？P言語自体の記述力自体はどのくらいある・・？

[SWIMATH2]

イベントがファーストクラスの言語？すでにUSBドライバとかAzureで使われてるっぽい？

[bopperjp]

plang

[y_uuki]

おもしろそう

[koyancya]

P-lang ヤバい

[koyhoge]

マイクロソフトが非同期/イベント駆動型のプログラム言語「P」を公開。サンプルを見ると状態遷移するイベントマシンという感じ。

[progrhyme]

P言語だ

[matsumoto_r]

非同期、耐障害性、不確実性に基づいたプログミング言語P。なめらかなシステム的にも興味深い…

[travelershouse]

プログラム言語P、検索性の低そうな名前だわ

[kuenishi]

"P provides first-class support for modeling concurrency, specifying safety and liveness properties and checking that the program satisfies its specification using systematic search."

[masu_mi]

Cを吐ける形式手法(モデル検査器)で(linear-typing, unique pointersの観点で)Rustに似てるらしい。Azuruの置き換えにも使われているらしい。 特にfault injectionが提供されていて分散アルゴリズムの検証が簡単ってのが気になる。

[yubessy]

ひと目使いにくいそう...