Nano Hash - криптовалюты, майнинг, программирование

Передача случайно сгенерированного списка в качестве параметра в Haskell

Я новичок в Haskell, и у меня действительно проблемы со всем этим IO.

Я пытаюсь выяснить, сколько времени требуется для просмотра списка в haskell. Я хотел сгенерировать список случайных чисел и передать его в качестве параметра функции, чтобы я мог распечатать каждый элемент списка. Я использую пакет CRITERION для теста. Вот код:

{-# LANGUAGE OverloadedStrings #-}
import System.Random
import Control.Exception
import Criterion.Main

printElements [] = return ()
printElements (x:xs) = do print(x)
                          printElements xs

randomList 0 = return []
randomList n = do
  x  <- randomRIO (1,100)
  xs <- randomList (n-1)
  return (x:xs)


main = defaultMain [
  bgroup "printElements" [ bench "[1,2,3]"  $ whnf printElements (randomList 10)
               , bench "[4,5,6]"  $ whnf printElements [4,5,6,4,2,5]
               , bench "[7,8,9]"  $ whnf printElements [7,8,9,2,3,4]
               , bench "[10,11,12]" $ whnf printElements [10,11, 12,4,5]
               ]
  ]

Ошибка при запуске кода:

listtraversal.hs:18:67:
    Couldn't match expected type ‘[a0]’ with actual type ‘IO [t0]’
    In the second argument of ‘whnf’, namely ‘(randomList 10)’
    In the second argument of ‘($)’, namely
      ‘whnf printElements (randomList 10)’
list benchmarking haskell io-monad criterion
22.05.2018

  • Попробуйте дать каждой функции явную сигнатуру типа. Это отличное упражнение, которое является информативным на данном этапе обучения и помогает локализовать сообщения компиляции на всех этапах изучения/использования Haskell. 22.05.2018
  • Во время теста вы будете многократно выполнять printElements foo для некоторых foo. Вы хотите, чтобы foo было разным в каждом исполнении? 22.05.2018
  • Кстати, с помощью этого бенчмарка вы в значительной степени будете измерять, сколько времени требуется для печати, поскольку генерация случайных чисел и просмотр списка занимают незначительное количество времени по сравнению с ним. 22.05.2018

Ответы:


1

Короче говоря, вам нужно связать свою функцию со значением IO, а не пытаться применить ее к значению, обернутому внутри значения IO.

-- instead of whnf printElements (randomList 10)
randomList 10 >>= whnf printElements

randomList не возвращает список значений; он возвращает действие IO, которое при выполнении может создать список значений. Игнорируя различные ограничения, вызванные реализацией, тип

randomList :: (...) => t1 -> IO [t]  -- not t1 -> [t]

Таким образом, вы не можете напрямую работать со списком значений, которые может создать действие IO; вам нужно использовать экземпляр монады, чтобы связать значение с соответствующей функцией. whnf printElements — одна из таких функций; он принимает список и возвращает действие IO.

whnf printElements :: Show a => [a] -> IO ()

Вместо того, чтобы извлекать список и передавать его в whnf printElements, мы "вталкиваем" функцию в значение IO, используя >>=. Тип этого оператора, специализированный для монады IO, таков:

(>>=) :: IO a -> (a -> IO b) -> IO b

В этом случае первое значение IO a — это значение IO [t], возвращаемое randomList. whnf printElements — это функция a -> IO b, к которой мы привязываемся. Результатом является новое значение IO, которое принимает первое значение IO, извлекает обернутое значение, применяет заданную функцию и возвращает результат.

Другими словами, монада IO сама заботится о том, чтобы отделить результат от randomList и применить к нему вашу функцию, а не вы делаете это явно.

(Вы могли заметить, что я сказал, что >>= связывает значение с функцией и наоборот. Возможно, правильнее было бы сказать, что >>= связывает их вместе в одно действие IO.)

22.05.2018
  • И, конечно же, randomList 10 >>= whnf printElements также можно записать как do { list <- randomList 10; whnf printElements list } или whnf printElements =<< randomList 10, что немного проясняет, что bind является оператором приложения (применяет нечистую функцию к нечистому аргументу), подобно $ (чистая функция к чистому аргументу) и <$> (чистая функция для нечистого аргумента). 23.05.2018
    • Новые материалы
    Кластеризация: более глубокий взгляд
    Кластеризация — это метод обучения без учителя, в котором мы пытаемся найти группы в наборе данных на основе некоторых известных или неизвестных свойств, которые могут существовать. Независимо от..
    Как написать эффективное резюме
    Предложения по дизайну и макету, чтобы представить себя профессионально Вам не позвонили на собеседование после того, как вы несколько раз подали заявку на работу своей мечты? У вас может..
    Частный метод Python: улучшение инкапсуляции и безопасности
    Введение Python — универсальный и мощный язык программирования, известный своей простотой и удобством использования. Одной из ключевых особенностей, отличающих Python от других языков, является..
    Как я автоматизирую тестирование с помощью Jest
    Шутка для победы, когда дело касается автоматизации тестирования Одной очень важной частью разработки программного обеспечения является автоматизация тестирования, поскольку она создает..
    Работа с векторными символическими архитектурами, часть 4 (искусственный интеллект)
    Hyperseed: неконтролируемое обучение с векторными символическими архитектурами (arXiv) Автор: Евгений Осипов , Сачин Кахавала , Диланта Хапутантри , Тимал Кемпития , Дасвин Де Сильва ,..
    Понимание расстояния Вассерштейна: мощная метрика в машинном обучении
    В обширной области машинного обучения часто возникает необходимость сравнивать и измерять различия между распределениями вероятностей. Традиционные метрики расстояния, такие как евклидово..
    Обеспечение масштабируемости LLM: облачный анализ с помощью AWS Fargate и Copilot
    В динамичной области искусственного интеллекта все большее распространение получают модели больших языков (LLM). Они жизненно важны для различных приложений, таких как интеллектуальные..