Par：実験的な並行プログラミング言語とそのインタラクティブなプレイグラウンド
2025-02-06
Parは、線形論理の表現力を実践に応用しようとする、実験的な並行プログラミング言語です。独自の特性として、プロセスはチャネルを介して通信し、各チャネルは最大2つのエンドポイントを持ち、デッドロックは発生しません。すべての値はチャネルであり、リスト、関数、無限ストリームなどを含みます。現在、Parはプリミティブ型や非決定性など、いくつかの機能を欠いていますが、すでに豊富な並行性を表現しています。この記事では、Parの構文、セマンティクス、そしてチャネル、シグナル、再帰、式構文などを網羅した例を詳しく説明します。インタラクティブなプレイグラウンドにより、ユーザーはParの並行性を体験できます。
開発
線形論理