Jak wymusić ocenę w Haskell?

Question

Jestem względnie nowy dla Haskella i staram się nauczyć, jak różne akcje mogą być wykonywane sekwencyjnie za pomocą notacji. W szczególności, piszę program do benchmarku algorytm (funkcja)

foo :: [String] -> [String] 

W tym celu chciałbym napisać funkcję jak

import System.CPUTime 

benchmark :: [String] -> IO Integer 
benchmark inputList = do 
         start <- getCPUTime 
         let r = foo inputList 
         end <- getCPUTime 
         return (end - start) -- Possible conversion needed. 

Ostatnia linia może wymagać konwersji (np. do milisekund), ale nie jest to tematem tego pytania.

Czy to jest właściwy sposób pomiaru czasu potrzebnego do obliczenia funkcji foo na niektórych argumentach inputList?

Innymi słowy, czy wyrażenie foo inputList zostanie całkowicie zredukowane przed wykonaniem działania end <- getCPUTime? Czy też r będzie związany tylko z Thunk foo inputList?

Ogólniej, jak mogę się upewnić, że wyrażenie zostanie w pełni ocenione przed wykonaniem jakiejś czynności?

---

To pytanie został poproszony kilka miesięcy temu na programistów (patrz here) i miał zaakceptowane odpowiedź tam, ale został zamknięty jako off-topic, ponieważ należy na przepełnienie stosu. Nie można przenieść pytania do przepełnienia stosu, ponieważ jest starsze niż 60 dni. Tak więc, w porozumieniu z moderatorami, ponawiam pytanie tutaj i sam przesyłam zaakceptowane pytanie, ponieważ uważam, że zawiera ono pewne przydatne informacje.

Answer 1

Odpowiedź pierwotnie podana przez użytkownika ysdxon programmers:

Rzeczywiście pan wersja nie będzie wyznacznikiem algorytmu. Ponieważ nie jest używane r, nie będzie ono w ogóle oceniane.

Powinieneś być w stanie to zrobić z DeepSeq:

benchmark :: [String] -> IO Integer 
benchmark inputList = do 
        start <- getCPUTime 
        let r = foo inputList 
        end <- r `deepseq` getCPUTime 
        return (end - start) 

(a `deepseq` b) jest jakiś "magiczny" wyrażenie, które wymusza kompletny/rekurencyjną ocenę a przed powrotem b.

Answer 2

Chciałbym użyć rozszerzenia językowego -XBangPatterns, uważam, że dość ekspresyjny w takich sytuacjach. Więc trzeba by powiedzieć „let !r = foo inputList”, jak w:

{-# LANGUAGE BangPatterns #-} 
import System.CPUTime 

benchmark :: [String] -> IO Integer 
benchmark inputList = do 
         start <- getCPUTime 
         let !r = foo inputList 
         end <- getCPUTime 
         return (end - start)