첫 번째 인쇄는 언제 haskell 코드에서 발생합니까?

Question

f = do 
    putStrLn "1" 
    putStrLn "2" 

main = f 

내가 이해하는 방식으로 f은 (putStrLn "1")>>=(\_ -> (putStrLn "2"))으로 줄어 듭니다. 람다 (모나드 제거 _)를 적용하는 동안 인쇄 작업이 완료 되었습니까? 누군가가 어떤 부분에서 평가되고 실행되는지 어떤 부분을 설명 할 수 있습니까?

Answer 1

putStrLn는 () 느릅 후 폐기하고 단지 제 putStrLn 계산되어 얻어 번째 기능 에르고 때문에,이 계산을하고 그 IO 모나드에 ()를 리턴 형 String -> IO()이다.

순서는 다음과 같습니다

1 .- putStrLn "1"

2가 () 결과로 얻을 수 있도록

3 .- \() -> putStrLn 2

4 .- putStrLn 2

정신 분열증은 그와 똑같지는 않지만, 당신이 생각할 수 있도록.