Output Integer stdout trong Haskell

Question

Tôi có một chức năng đơn giản như:

nth :: Integer -> Integer 

Và tôi cố gắng để in nó cho kết quả như sau:

main = do 
    n <- getLine 
    result <- nth (read n :: Integer) 
    print result 

Các lỗi sau đây được tạo:

Couldn't match expected type `IO t0' with actual type `Integer' 
In the return type of a call of `nth' 
In a stmt of a 'do' expression: 
    result <- nth (read n :: Integer) 

Cũng đã thử với putStrLn và nhiều kết hợp khác không có may mắn.
Tôi không thể hình dung ra và tôi cần một số trợ giúp, vì tôi không hiểu rõ cách thức hoạt động của các công cụ này xung quanh các số IO này.

Answer 1

nth là một chức năng, không phải là một hành động IO:

main = do 
    n <- getLine 
    let result = nth (read n :: Integer) 
    print result 

Answer 2

Cú pháp do unwraps gì đó trong một đơn nguyên. Tất cả mọi thứ ở phía bên tay phải của mũi tên phải nằm trong đơn nguyên IO, nếu không các loại không kiểm tra. An IO Integer sẽ ổn trong chương trình của bạn. do là cú pháp đường cho các chức năng rõ ràng hơn mà sẽ được viết như sau:

Nhớ lại rằng (>>=) :: m a -> (a -> m b) -> m b

main = getLine >>= (\x -> 
     nth >>= (\y -> 
     print y)) 

Nhưng nth không phải là một giá trị monadic, vì vậy nó không có ý nghĩa để áp dụng các chức năng (>>=) , yêu cầu thứ gì đó có loại IO a.