Lucid (プログラミング言語)

From Wikipedia, the free encyclopedia

登場時期 1976年
開発者 Ashcroft,Wadge
Lucid
パラダイム データフロー
登場時期 1976年
設計者 Edward A. Ashcroft,William W. Wadge
開発者 Ashcroft,Wadge
型付け Typeless
主な処理系 pLucid
方言 GYPSY GLU
影響を受けた言語 ISWIM
影響を与えた言語 SISAL, Pure Data, Lustre
テンプレートを表示

Lucidデータフロープログラミング言語である。非ノイマン型 プログラミング言語の実験の為に設計された。Bill Wadge と Ed Ashcroft によって設計され、書籍 Lucid, the Dataflow Programming Language が出版された。

Lucid はデータ処理の際に要求駆動モデルを採用している。Lucid の文は、プロセッサのネットワークを定義する方程式と、その間をデータが流れる通信線として考える事が出来る。変数は無限に続く値のストリームであり、関数はフィルタか変換器である。反復は 'current' 変数と、'fby' 変数によってシミュレートされストリーム合成を行う事が出来る。

Lucid は無限に続くデータの列であるヒストリーの代数を基にしている。利用時には、ヒストリーは変化し続ける変数の値の記録と考える事が出来、first や next 等のヒストリー操作は名前から連想するとおり動作する。Lucid は当初、動作検証が非常にシンプルであるような、非常に厳格で数学的に純粋な単一代入言語として考えられていた。しかしながら、データフローの解釈は非常に重要であり、Lucid の発展に大きく影響を及ぼした。

言語の詳細

外部リンク

Related Articles

Wikiwand AI