chế biến giá trị đơn nguyên trước khi phân

Question

Có thể làm cho những người hai dòng một dòng:

main = do line <- getLine 
    let result = words line 

những gì tôi có nghĩa là một cái gì đó giống như mã không monadic

result = lời getline

đó - theo ý kiến ​​của tôi - sẽ cải thiện khả năng đọc.

Answer 1

Hãy thử điều này: result <- fmap words getLine

fmap mất một chức năng với một kiểu giống như a -> b và biến nó thành f a -> f b cho bất cứ điều gì đó là một thể hiện của Functor, mà nên bao gồm tất cả Monad trường.

Có chức năng tương đương được gọi là liftM, cụ thể là Monad, vì lý do lịch sử không rõ ràng. Thay vào đó, bạn có thể cần phải sử dụng điều đó trong một số trường hợp, nhưng đối với các đơn vị chuẩn như IO, bạn có thể gắn bó với fmap.

Bạn cũng có thể nhập Data.Functor hoặc Control.Applicative để có được một phiên bản điều hành tốt đẹp của fmap, vì vậy bạn có thể viết words <$> getLine thay vào đó, mà thường trông đẹp hơn.