Che cosa è una funzione che non prende argomenti chiamato?

Question

C'è un termine che descrive una funzione che non prende argomenti in modo più conciso di "funzione che non prende argomenti"? (Nello stesso modo che ad esempio "funzione di ordine superiore" significa "funzione che accetta funzioni come argomenti o restituisce una funzione")

mi viene spontaneo pensare a "vuoto", ma penso anche di effetti collaterali quando vedo "vuoto". La situazione che sto pensando di è il tipo trovato in questa discussione di constantly:

cosa è questo "modello" funzionale chiamato?

dove si potrebbe creare una chiusura che non ha argomenti, non ha effetti collaterali, ma fa ancora qualcosa di interessante.

Answer 1

Una funzione nullaria, di solito: http://en.wikipedia.org/wiki/Arity

Se una funzione ha effetti collaterali è ortogonale al numero di argomenti che ha, quindi in una lingua in cui nessuna funzione ha mai effetti collaterali, non è necessario un termine più preciso. In lingue con effetti collaterali, suppongo che si definirebbe un o una funzione nullaria "pura" "side-libera-effetto".

E poi con (per esempio) Memoizzazione, una funzione può essere logicamente puro, anche se si sa che dietro le quinte, non ha effetti collaterali.

Answer 2

Un nullaria o niladic la funzione.

Answer 3

Un Thunk?