Pict（プログラミング言語）

ピクト
パラダイム	同時
開発者	ベンジャミン・C・ピアースとデイビッド・N・ターナー
タイピングの規律	静的
ライセンス	GNU 一般公衆利用許諾書
ファイル名拡張子	.pi
Webサイト	www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html
影響を受けた
	ML
影響を受けた
	オーク、遊牧民ピクト人

Pict は静的型付けプログラミング言語であり、 π 計算に基づく数少ない言語の 1 つです。この言語の開発は1992 年にエディンバラ大学で開始され、1998 年以降は開発がほぼ休止状態にあります。この言語はまだ実験段階にあります。

参考文献

^ Sewell, Peter; Wojciechowski, Pawel; Unyapot, Asis (2010). 「Nomadic Pict: モバイルコンピューティングのためのプログラミング言語、通信インフラストラクチャオーバーレイ、およびセマンティクス」ACM Transactions on Programming Languages and Systems . 32 (4). doi :10.1145/1734206.1734209.

Benjamin C. Pierce と David N. Turner。Pict: π 計算に基づくプログラミング言語。技術レポート、インディアナ大学コンピュータサイエンス学部、1997 年