Проблема с Haskell (не соответствует типу «IO Integer» с «Int»)

Question

У меня проблема с сценарием Haskell. Я пытаюсь научиться Haskell, делая проблемы, которые я нахожу в Интернете. Вход я получаю: Int -> Количество тестовых S1 -> Строка 1 для каждого теста S2 -> Строка 2 для каждого теста

Каждый S1 и S2 представляет собой пространство с разделителями строка чисел. Я конвертирую их в список Ints с функцией strToIntList. Затем я хочу обработать два списка и вернуть целочисленное значение на основе результатов. Я получаю следующую ошибку: Couldn't match type 'IO Integer' with 'Int' в строке 24, и я смотрел целую вечность, но просто не могу понять, почему (полная ошибка в конце сообщения).

Если кто-то может объяснить, почему я ошибаюсь, я был бы очень благодарен.

Это мой сценарий:

import Data.List 
import Data.List.Split 

main = do 
    cases <- readLn 
    doLoop cases 

toInt x = read x :: Int 

strToIntList s = [read x :: Int | x <- (splitOn " " s)] 

minOfTwo :: Int 
minOfTwo = do 
    sa <- getLine 
    sb <- getLine 
    return $ minimum [1..50] 
    -- return $ minimum $ strToIntList sa 

doLoop 0 = return() 
doLoop loopIndex = do 
    q <- getLine 
    let c = minOfTwo 
    print(c) 
    doLoop (loopIndex-1) 

Это полная ошибка я получаю:

Couldn't match type `IO Integer' with `Int' 
Expected type: IO String -> (String -> IO Integer) -> Int 
    Actual type: IO String -> (String -> IO Integer) -> IO Integer 
In a stmt of a 'do' block: sa <- getLine 
In the expression: 
    do { sa <- getLine; 
     sb <- getLine; 
     return $ minimum [1 .. 50] } 
In an equation for `minOfTwo': 
    minOfTwo 
     = do { sa <- getLine; 
      sb <- getLine; 
      return $ minimum [1 .. 50] } 

Answer 1

getLine функция в IO монады, и поэтому любая функция, которая вызывает getLine сусло также быть в монаде IO. Измените подпись своего типа на minOfTwo от Int до IO Int, и эта конкретная проблема исчезнет.

(Вам также нужно изменить let c = minOfTwo в c <- minOfTwo.)

Там могут быть и другие ошибки, но это один вызывает ваше сообщение об ошибке.