Привет, у меня пример кода школьного maybeReadInt :: MaybeT IO Int maybeReadInt

Question

Привет, у меня пример кода школьного maybeReadInt :: MaybeT IO Int maybeReadInt

= do
line <- liftIO getLine
case reads line of
[(x, "")] -> return x
_ -> MaybeT $ return Nothing

По нему два вопроса:
- зачем сразу делается liftIO в первой строке?
ведь строку можно просто прочитать без оборачивания в MaybeT

- почему в конце тела функции оборачивается как будто MaybeT IO а на самом деле в тексте MaybeT Maybe, например MaybeT $ return Nothing?

#haskell #programming #russian

0

24.12.2023