strictness

Haskell: Co To jest słaba Głowa normalna forma?

Co oznacza słaba Głowa normalna forma (WHNF)? Co oznacza postać normalna (HNF) i postać normalna (NF)? Prawdziwy świat Ha ... ry (/) . foldl' (\(acc, len) x -> acc `seq` len `seq` (acc+x, len+1)) (0,0) -Haskell Wiki na Stackoverflow

Jaki jest związek między typami bez pudełek a ścisłością?

Typy Nieboskłonowe, jak Int#, i funkcje ścisłe, jak f (!x) = ..., to coś innego, ale widzę podobieństwa pojęciowe - w jakiś s ... nkcja byłaby ścisła, a każdy typ nie był zdefiniowany. Jaki jest związek między typami bez pudełek a egzekwowaniem surowości?

Co to jest zwężenie kręgosłupa

W Haskell termin spine strictness jest często wymieniany w odniesieniu do leniwej oceny. Chociaż mam niejasne zrozumienie, ż ... ych co oznacza zwężenie kręgosłupa ? jakie są korzyści przy porównywaniu ścisłych struktur danych kręgosłupa z leniwymi?

Profilowanie programu Haskell

Mam fragment kodu, który wielokrotnie próbkuje z rozkładu prawdopodobieństwa za pomocą sequence. Moralnie, robi coś takiego: ... erpretować wyjście profilera - czyli określić, gdzie znajduje się wąskie gardło i podać sugestie, jak przyspieszyć działanie?