Chiamate a strumenti non dichiarati: quando uno strumento viene inventato

Cos'è uno strumento dichiarato?

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

Cosa succede a una chiamata non dichiarata?

Viene rifiutata. Uno strumento non dichiarato non ha un risultato atteso rispetto a cui essere verificato.

Questo previene tutte le chiamate errate?

Previene l'invocazione di strumenti non dichiarati. La verifica si applica comunque agli strumenti dichiarati per confermarne il risultato.

Perché è necessario?

Perché uno strumento non dichiarato non ha contratto né risultato atteso. Il kernel non può verificarne il comportamento né imparare dal risultato.

Un flusso può inventare uno strumento?

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