Вопросы по теме 'weak-head-normal-form'

Почему встроенная функция применяется к слишком малому количеству аргументов, которые считаются нормальной формой слабой головы?
В определении Haskell говорится: Выражение находится в слабой нормальной форме головы (WHNF), если оно: конструктор (в конечном итоге применяемый к аргументам), например True, Just (квадрат 42) или (:) 1 встроенная функция,...
1089 просмотров
haskell partial-application reduction lambda-calculus weak-head-normal-form
schedule 23.05.2023