Voglio chiamare la programmazione con effetto collaterale, ma deve essere un termine migliore per questo

Question

Qual è il nome del seguente paradigma di programmazione:

Il codice viene eseguito in base a un insieme di test logici che si risolvono in true (la clausola).La clausola è composta da operatori e operandi.Ogni operando è un valore / oggetto.

Invece di valutare esplicitamente la clausola, come viene eseguita in lingue imperative (ad esempio il normale controllo del flusso come if(){}), la clausola viene dichiarata e legata al codice risultante.Quando la clausola è soddisfatta, in qualsiasi momento in futuro, il codice verrà eseguito.

Allora, è fondamentalmente un albero di dipendenza che rivaluta se il codice dovrebbe eseguire ogni volta che una dipendenza cambia stato.

E.G.,

when(a && b && c < 3 && d.changes())
{
  runThisCode();
}

.

Sto cercando un nome e una definizione più formale, e non ho trovato nulla dopo averlo cercato.È da qualche parte tra dichiarativo e imperativo, ma non ho mai visto una lingua o un paradigma che permette di farlo.

Grazie, Sean

Answer 1

Forse è programmazione di dataflow ?O Programmazione reattiva ?

Answer 2

Suoni come un motore di regole per me.Per esempio.in jess È possibile definire tali regole dichiarative e chiamare in codice Java imperativo o orientato agli oggetti.