2010-08-08 9 views

risposta

4

In breve, sì. Tecnicamente il Pi-calculus potrebbe probabilmente codificare qualcosa come la programmazione reattiva di ordine superiore (dato che puoi creare dinamicamente e passare i canali come valori di prima classe).

A livello superficiale, entrambi tentano di descrivere un sistema in termini di eventi, piuttosto che di stati. Questa è un'importante distinzione che dà origine al campo dei "sistemi basati sugli eventi". Il Pi-calculus è estremamente generale, ed è abbastanza probabile che qualsiasi cosa tu possa costruire in un'impostazione di programmazione reattiva abbia una codifica abbastanza naturale come i termini pi-calculus.

Problemi correlati