Запитання з тегом «weak-head-normal-form»

Що означає нормальна форма слабкої голови (WHNF)? Що означає звичайна форма голови (HNF) та нормальна форма (NF)? Реальний світ Хаскелл заявляє: Знайома функція seq оцінює вираз у тому, що ми називаємо головою нормальної форми (скорочено HNF). Він зупиняється, як тільки дістається до самого зовнішнього конструктора («головки»). Це відрізняється від звичайної …

290 haskell  definition  strictness  weak-head-normal-form 

Я наткнувся на деякі дратівливі речі. Я знаю, що haskell працює зі слабкою головою нормальної форми (WHNF), і я знаю, що це. Введення наступного коду в ghci (я використовую команду: sprint, яка зводить вираз до WHNF, наскільки мені відомо.): let intlist = [[1,2],[2,3]] :sprint intlist дає intlist = _це робить …

9 haskell  functional-programming  ghci  reduction  weak-head-normal-form