Создать список через Random и затем сравнить его с заданным

@f-r-i-e-n-d · Регистрация: 13.06.2016

Студворк — интернет-сервис помощи студентам

Не могу сравнить два списка, вот код, ругается на типы. Пробовал задать список непосредственно в самом коде, а не через getLine, тогда получается что список созданный с помощью Random имеет тип IO а заданный Int, как быть?

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
import System.Random
import Data.List
 
main = do
    randGen  <- newStdGen
    let randspis = randomlist 4 randGen
    zadspis <- getLine
    prover randspis zadspis
 
randomlist :: Int -> StdGen -> [Int]
randomlist n = take n . randomRs (0 :: Int ,9) 
 
bulls :: (Eq a) => [a] -> [a] -> Int
bulls x y = foldl (\ acc n -> if (x !! n)==(y !! n) then acc+1 else acc) 0 [0,1..mi]
                  where mi=((length x) `min` (length y))-1 
 
iscommon :: (Eq a) =>[a] -> [a] -> [a]
iscommon x y = filter (\ xx -> (xx `elem` y)) x
                  
cows :: (Eq a) =>[a] -> [a] -> Int 
cows x y = length $ iscommon x y  
 
prover :: (Eq a) =>[a] -> [a] -> [Int]
prover x y = [(cows x y) , (bulls x y)]

@Catstail · 13.06.2016, 18:08

f-r-i-e-n-d, у Вас переменная zadspis имеет тип String, а randspis - список [Int].

Добавлено через 3 минуты
Можно попробовать 8-ю строку задать так:

Haskell
1
prover randspis (read zadspis :: [Int])

@f-r-i-e-n-d · 13.06.2016, 19:23 **[ТС]**

Тогда ошибка которую я описывал во втором случае:
*** Term : prover randspis (read zadspis)
*** Type : [Int]
*** Does not match : IO a

@yegorov · 13.06.2016, 22:53

Вы в блоке do пытаетесь вызвать функцию, которая возвращает не IO. Нельзя просто вот так взять и написать

Haskell
1
foo = do 3+3

результат вычисления prover`a можно, например, вывести на экран

Haskell
1
2
3
4
5
6
main = do
    randGen  <- newStdGen
    line <- getLine
    let randspis = randomlist 4 randGen
        zadspis  = map read $ words line :: [Int]
    print $ prover randspis zadspis

@f-r-i-e-n-d · 14.06.2016, 00:16 **[ТС]**

Спасибо большое, становится немного понятнее. А можно ли в самом main организовать проверку, и пока списки не будут равны не прекращать выполнение программы, или же необходимо будет добавить дополнительную функцию?

@yegorov · 14.06.2016, 13:19

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

@Catstail · 14.06.2016, 21:46

Вот код, который успешно компилируется:

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
import System.Random
import Data.List
 
main = do
    randGen  <- newStdGen
    let randspis = randomlist 4 randGen
    zadspis <- getLine
    putStrLn $ show $ prover randspis (read zadspis :: [Int])
 
randomlist :: Int -> StdGen -> [Int]
randomlist n = take n . randomRs (0 :: Int ,9) 
 
bulls :: (Eq a) => [a] -> [a] -> Int
bulls x y = foldl (\ acc n -> if (x !! n)==(y !! n) then acc+1 else acc) 0 [0,1..mi]
                  where mi=((length x) `min` (length y))-1 
 
iscommon :: (Eq a) =>[a] -> [a] -> [a]
iscommon x y = filter (\ xx -> (xx `elem` y)) x
                  
cows :: (Eq a) =>[a] -> [a] -> Int 
cows x y = length $ iscommon x y  
 
prover :: (Eq a) =>[a] -> [a] -> [Int]
prover x y = [(cows x y) , (bulls x y)]

Запуск:

Code
1
2
3
4
5
6
7
D:\OldPC\!Funct_Prog\!Haskell\MySrc\lab-7>ghc -prof -fprof-auto -rtsopts cf-iv
[1 of 1] Compiling Main             ( cf-iv.hs, cf-iv.o )
Linking cf-iv.exe ...
 
D:\OldPC\!Funct_Prog\!Haskell\MySrc\lab-7>cf-iv
[1,2,3,4]
[1,0]

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .	SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .	SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .

@f-r-i-e-n-d 0 / 0 / 0 Регистрация: 13.06.2016 Сообщений: 3
	13.06.2016, 19:23 [ТС]
	Тогда ошибка которую я описывал во втором случае: * Term : prover randspis (read zadspis) * Type : [Int] *** Does not match : IO a 0

@f-r-i-e-n-d 0 / 0 / 0 Регистрация: 13.06.2016 Сообщений: 3
	14.06.2016, 00:16 [ТС]
	Спасибо большое, становится немного понятнее. А можно ли в самом main организовать проверку, и пока списки не будут равны не прекращать выполнение программы, или же необходимо будет добавить дополнительную функцию? 0

@yegorov 43 / 41 / 8 Регистрация: 17.04.2016 Сообщений: 39
	14.06.2016, 13:19
	Добавить дополнительную функцию будет лучше. Все, что не связано с вводом-выводом нужно выносить из IO. 0