как заставить оценить это выражение?

Question

module Main where 

import Control.Parallel(par,pseq) 
import Text.Printf 
import Control.Exception 
import System.CPUTime 
import Data.List 
import IO 
import Data.Char 
import Control.DeepSeq 

time :: IO t -> IO t 
time a = do 
    start <- getCPUTime 
    v <- a 
    end <- getCPUTime 
    let diff = (fromIntegral (end - start))/(10^12) 
    printf "Computation time: %0.3f sec\n" (diff :: Double) 
    return v 

learquivo :: FilePath -> IO ([[Int]]) 
learquivo s = do 
    content <- readFile s 
    return (read content) 

main :: IO() 
main = do 
    t5 <- getCPUTime 
    content <- learquivo "mkList1.txt" 
    let !mapasort = rnf $ map sort content 
    t6 <- getCPUTime 
    let diffft6t5 = (fromIntegral (t6 - t5))/(10^12) 
    printf "Computation time Mapasort: %0.3f sec\n" (diffft6t5 :: Double) 

Как определить, оценивает ли он все элементы контента?

let !mapasort = rnf $ map sort content 

Я использовал линию в winghci:

*Main> let !mapasort = rnf $ map sort content 

Но, вернулся:

*Main> mapasort() 

Благодаря

Answer 1

Я вижу два вопроса:

1) Почему является maport оценивается на единицу, ().

Потому что функция rnf всегда возвращает (). See the documentation.

2) Все ли оценивали

Да. Экземпляр DeepSeq (который где rnf живет) для списка просто вызывает deepseq экземпляра для каждого элемента в списке:

rnf [] =() 
rnf (x:xs) = rnf x `seq` rnf xs 

Ваши элементы всех Ints, которые имеют правильный экземпляр NFData.

И я хотел бы добавить еще два вопроса:

3) Как это должно быть сделано бенчмаркинг правильно?

Использование Criterion. Здесь есть много защитников Criterion, вы можете найти ответы, которые послужили бы хорошими примерами поиска.

4) Как следует оценивать эту оценку для целей, не связанных с бенчмаркингом?

Использование параллельного пакета.

import Control.Parallel.Strategies 
... 
let !mapsort = (map sort content) `using` (evalList rdeepseq) 

или еще с помощью rnf:

let mapsort = map sort content 
    !_ = rnf mapsort