여러 함수에 모나드 변수 바인딩하기

Question

가능한 한 다음 구문에 가깝게하고 싶습니다. TH는 나에게 잘해.

bootapplication :: IO() 
bootapplication = do 
    clientA <- newChan :: IO (Chan AMsg) 
    clientB <- newChan :: IO (Chan BMsg) 
    ... 
    magicHappens 


doSomething :: SomeSortaMonadTOnIO() 
doSomething = do 
    writeChan clientA aMsg 
    writeChan clientB bMsg 

나는 다음은

main = do 
    clientA <- newChan :: IO (Chan [Char]) 
    clientB <- newChan :: IO (Chan Whatever) 
    let a = putStrLn . (++) "a" 
    let moof = do 
--  b "hello" 
     a "hi" 
--  d "meh" 
     readChan clientA 
     return() 
    let b = putStrLn . (++) "b" 
    let d = putStrLn . (++) "c" 
    return() 

허용하지만하자 만 바인딩 향후 작품 때문에 주석 처리 된 줄이 수용 할 수없는 가정합니다. 나는 이것을 어떻게 할 수있게 해머와 덕트 테이프를 어떻게 할까?

편집 :

main = do 
    clientA <- newChan :: IO (Chan [Char]) 
    clientB <- newChan :: IO (Chan Whatever) 
    let 
    a = putStrLn . (++) "a" 
    moof = do 
     b "hello" 
     a "hi" 
     d "meh" 
     readChan clientA 
     return() 
    b = putStrLn . (++) "b" 
    d = putStrLn . (++) "c" 
    return() 

는 다른 방법이 where를 사용할 수 있습니다

다음

내가 정확한 질문에 대답

main = do 
    clientA <- newChan :: IO (Chan [Char]) 
    clientB <- newChan :: IO (Chan Whatever) 
    let { 

a :: [Char] -> IO() 
;a = putStrLn . (++) "a" 

;moof :: IO() 
;moof = do 
    a "a" 
    b "b" 

;b :: [Char] -> IO() 
;b = putStrLn . (++) "b" 

;d :: [Char] -> IO() 
;d = putStrLn . (++) "c" 


} 
    moof 
    return() 

Answer 1

에 정착 구문은 단지 하나의 let 블록에 그 라인을 결합,이다 함수 정의를 저장하는 것이 더 일반적입니다. 예 :

이 moof 사실 결코이 실행되지 얻을 것이다 추적하기 쉽게 위의 코드에서

main = do 
    clientA <- newChan :: IO (Chan [Char]) 
    clientB <- newChan :: IO (Chan Whatever) 
    let 
    moof = do 
     b "hello" 
     a "hi" 
     d "meh" 
     readChan clientA 
     return() 
    return() 
    where 
    a = putStrLn . (++) "a" 
    b = putStrLn . (++) "b" 
    d = putStrLn . (++) "c" 

하는 do 블록 내부 let a = b는 a <- return b 단지 설탕 때문이다. 그래서 당신이 실제로 의도 한 것은 다음과 같았을 것입니다 :

main = do 
    clientA <- newChan :: IO (Chan [Char]) 
    clientB <- newChan :: IO (Chan Whatever) 
    moof <- do 
    b "hello" 
    a "hi" 
    d "meh" 
    readChan clientA 
    return() 
    return() 
    where 
    a = putStrLn . (++) "a" 
    b = putStrLn . (++) "b" 
    d = putStrLn . (++) "c"