Come diciamo formalmente che una funzione non è rigida in un argomento?

Question

Diciamo che una funzione è severo nel suo argomento se

f ⊥ = ⊥ 

ma come facciamo a dire che una funzione non è severo nel suo argomento? Possiamo dire che una funzione non è rigorosa se

f ⊥ ≠ ⊥ 

?

Come si estende alle funzioni di molti argomenti, in cui è possibile o meno valutare un argomento in base al valore di qualche altro argomento?

Sto chiedendo questo nel contesto di documentare meglio le proprietà di severità delle funzioni Haskell usando la documentazione di Haddock.

Answer 1

Non esiste una notazione standard per esprimere proprietà di rigore complesso. Inoltre, non è semplice come essere rigorosi, dal momento che per le strutture di dati potrebbe essere necessario dire esattamente quanto viene valutato.

Detto questo, per una semplice funzione come

cond c t e = if c then t else e 

si può immaginare dicendo che il rigore è 1 & (2 | 3), il che significa che valuterà il primo argomento, e il secondo o il terzo. Queste sono le proprietà di rigore che un semplice analizzatore di rigore si presenterà. (E quelli sembrano essere gli unici che valgono la pena.)