Chiamate a strumenti non dichiarati: quando uno strumento viene inventato

Una chiamata a uno strumento non dichiarato è l'invocazione di uno strumento che non è stato dichiarato in un flusso. Il kernel la rifiuta prima dell'esecuzione.

Che cos'è uno strumento dichiarato?

Uno strumento firmato, verificato e referenziato da un flusso dichiarativo. Ha un contratto definito e un risultato atteso.

Che cosa succede a una chiamata non dichiarata?

Viene rifiutata. Uno strumento non dichiarato non ha un risultato atteso con cui confrontarsi.

Questo previene tutte le chiamate errate?

Previene l'invocazione di strumenti non dichiarati. La verifica continua ad applicarsi agli strumenti dichiarati per confermarne l'esito.

Perché è necessario?

Perché uno strumento non dichiarato non ha un contratto né un risultato atteso. Il kernel non può verificarne il comportamento né apprendere dall'esito.

Un flusso può inventare uno strumento?

No. Il flusso indica gli strumenti e l'ordine. Gli strumenti devono essere dichiarati. Il flusso stesso non esegue codice.