Работа с IO монады в Haskell

Question

Если у меня есть две константы:

type A = Int 
type B = Int 

, а затем применить функцию:

Number :: String −> (Int −> Bool) −> IO Int 
Number n = do 
    num <- fmap getNumber getLine 
    if num >0 || num <= A || num <= B then num else putStrln "Invalid Number!" 

это правильно?

Answer 1

Первая линия num <- fmap getNumber getLine правильно (если getNumber = read), но вторая линия не

if num >0 || num <= A || num <= B then num else putStrln "Invalid Number!" 

Давайте посмотрим на вторую часть if выражения:

num :: Int, но putStrln "Invalid Number!" :: IO()

Но они должны имеют один и тот же тип!

Если переписать then return num эти средства типа return num :: IO Int, но до сих пор putStrln "Invalid Number!" :: IO()

Первая часть if это не правильно вообще: A и B типы, а не конструкторы данных

мы могли бы написать (num > (x :: A)), это означает, что так же, как num > (x :: Int), подобные этим:

num > 0 || num <= (3 :: A) || num <= (42 :: B) 

Обновлено

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

P.S. n в вашем примере это неиспользованная переменная

Допустимые функции выглядит следующим образом:

numA = 3 
numB = 42 

number = do 
    num <- fmap read getLine 
    if num > 0 || num <= numA || num <= numB 
     then return (Just num) 
     else putStrln "Invalid Number!" >> return Nothing