Flussi dichiarativi vs script imperativi

Un flusso dichiarativo indica gli strumenti e l'ordine. Il kernel esegue il flusso; il flusso non si esegue da solo.

Che cosa contiene un flusso?

Gli strumenti, il loro ordine e i loro contratti. Il kernel esegue il flusso. Il flusso stesso è un dato, non codice eseguibile.

Perché dichiarativo?

Perché il flusso è un dato che il kernel può verificare, non codice che si esegue da solo. Questa separazione permette al kernel di mantenere il controllo.

Un flusso può chiamare uno strumento non dichiarato?

No. Uno strumento non dichiarato viene rifiutato prima dell'esecuzione. Uno strumento non dichiarato non ha un risultato atteso con cui confrontarsi.

Come vengono eseguiti gli strumenti?

Il flusso specifica l'ordine. Il kernel li esegue in sequenza o in parallelo in base alle regole del flusso.

Che cosa succede se un passo fallisce?

La verifica rileva il fallimento. Il motore AST ripara lo strumento se possibile e il ciclo aggiorna i propri pesi di strategia in base al verdetto negativo.