Che cos'è un "thunk", come usato in Scheme o in generale?

Question

Ho trovato la parola "thunk" in molti punti del codice e della documentazione relativa a Scheme e territori simili. Sto indovinando che è un nome generico per una procedura, che ha una sola argomentazione formale. È corretto? Se sì, c'è dell'altro? Se no, per favore?

Ad es. in SRFI 18, nella sezione "Procedure".

Answer 1

È davvero semplice. Quando hai qualche calcolo, come aggiungere 3 a 5, nel tuo programma, quindi creare un thunk di esso significa non per calcolarlo direttamente, ma invece crea una funzione con argomenti zero che la calcola quando è necessario il valore reale.

(let ((foo (+ 3 5))) ; the calculation is performed directly, foo is 8 
    ;; some other things 
    (display foo)) ; foo is evaluated to 8 and printed 

(let ((foo (lambda() (+ 3 5)))) ; the calculation is delayed, foo is a 
           ; function that will perform it when needed 
    ;; some other things 
    (display (foo))) ; foo is evaluated as a function, returns 8 which is printed 

Nel secondo caso, foo sarebbe stato chiamato un thunk.

I linguaggi pigri sfociano la linea tra l'associazione di una variabile a un valore e la creazione di una funzione per restituire tale valore, in modo che la scrittura di qualcosa come la prima sopra sia effettivamente trattata come la seconda, sotto il cofano.

Answer 2

Wikipedia ha la seguente risposta:

In programmazione funzionale, "thunk" è un altro nome per una funzione nullaria - una funzione che non accetta argomenti. I thunk sono frequentemente usati in linguaggi stretti come mezzo per simulare la valutazione pigra; il thunk stesso ritarda il calcolo dell'argomento di una funzione e la funzione forza il thunk per ottenere il valore effettivo. In questo contesto, un thunk viene spesso chiamato una sospensione o (in Scheme) una promessa.

Aggiunta di un lazy evaluation example in Scheme. Ecco, la promessa è un'altra parola per thunk.

Answer 3

Un "thunk" è un oggetto procedura senza argomenti formali, ad es. dal tuo link SRFI:

(lambda() (write '(b1))) 

La variabile b1 è legata al blocco racchiude, e questo ci dà un indizio per l'etimologia della parola "thunk", che si basa su una battuta sulla grammatica poveri.

Una funzione di argomento zero non ha modo di modificare il suo comportamento in base ai parametri con cui è chiamato, poiché non ha parametri. Pertanto l'intera operazione della funzione è impostata - è solo in attesa di essere eseguita. Non è necessario più "pensiero" da parte del computer, tutto il "pensiero" è stato fatto - l'azione è completamente "thunk" attraverso.

Questo è tutto un "thunk" è nel contesto di questo SRFI - una procedura senza argomenti.