Warum wird eine eingebaute Funktion auf zu wenige Argumente angewendet, die als schwache Normalform gelten?
Der HaskellDefinition sagt:
Ein Ausdruck hat die Normalform eines schwachen Kopfes (WHNF), wenn es sich um Folgendes handelt:
ein Konstruktor (eventuell angewendet auf Argumente) wie True, Just (Quadrat 42) oder (:) 1Eine integrierte Funktion, die auf zu wenige Argumente (möglicherweise keine) wie (+) 2 oder sqrt angewendet wird.oder eine Lambda-Abstraktion \ x -> Ausdruck.Warum werden eingebaute Funktionen speziell behandelt? Nach der Lambda-Rechnung gibt es keinen Unterschied zwischen ateilweise angewandte Funktion und jede andere Funktion, weil wir am Ende nur eine Argumentfunktion haben.