WHNF

Weak Head Normal Form

IT/Elektro

Definition

WHNF steht für Weak Head Normal Form und ist ein Begriff aus der funktionalen Programmierung. Ein Ausdruck befindet sich in WHNF, wenn sein äußerster Konstruktor oder Lambda-Ausdruck ausgewertet ist.