Ошибка типа с использованием критерия - PullRequest
Новая
       33

Ошибка типа с использованием критерия

2 голосов
/ 27 октября 2010

Я прочитал документацию и некоторые статьи, в которых рассказывается о пакете, но я новичок в Haskell и мало что понял, но попробовал ....

Ниже я сделал следующее: 

module Main where  
{-# LANGUAGE BangPatterns #-}   
import Control.Parallel(par,pseq)  
import Control.Exception  
import Data.List  
import IO  
import Data.Char  
import Criterion.Main (defaultMain, bench)  

learquivo :: FilePath -> IO ([[Int]])  
learquivo "mkList1.txt"  = do   
    conteudo <- readFile "mkList1.txt" 
    return (read conteudo) 


main = defaultMain [  
    bench "map sort learquivo" $ \n -> map sort learquivo
    ]

При этом произошла следующая ошибка: 

Couldn't match expected type [[a]]
       against inferred type FilePath -> IO [[Int]]

Ответы [ 2 ]

2 голосов
/ 27 октября 2010

Точно так же, как у вас, как я обычно запускаю, используя функции nf или whnf, я дам свой код: 

import Data.List
import Criterion.Main

main :: IO ()
main = do
   -- content <- learquivo "mkList1.txt"  
   let content = [ [big, big - step.. 0] | big <- [1000..1010], step <- [1..5]] :: [[Int]]
   defaultMain
        [ bench "benchmark-name" (nf (map sort) content)]

РЕДАКТИРОВАТЬ: Если вам это нравится, то попробуйте заговор: 

module Main where

import Data.List
import Criterion.Main
import Criterion.Config
import Criterion.MultiMap as M

main :: IO ()
main = do
   let myConfig = defaultConfig {
              -- Always display an 800x600 window with curves.
              cfgPlot = M.singleton KernelDensity (Window 800 600)
              }
   let content = [ [big, big-step.. 0] | big <- [1000..1010], step <- [1..5]] :: [[Int]]
   defaultMainWith myConfig (return ())
        [ bench "benchmark-name" (nf (map sort) content)]
2 голосов
/ 27 октября 2010

Проблема заключается в следующем: map sort learquivo

sort ожидает список, поэтому map sort ожидает список списков ([[a]]), тогда как тип learquivo имеет тип FilePath -> IO [[Int]].

Вы, вероятно, хотите что-то вроде: 

main = do
    contents <- learquivo "mkList1.txt"
    defaultMain [
       bench "map sort learquivo" $ \n -> map sort contents
    ]

В вашем коде есть разные вещи, которые можно очистить, но это должно помочь вам.

...