Reader Monad를 (Int -> Int)와 함께 사용하는 방법?

Question

리더 모나드 사용법을 배우고 싶습니다. 불행히도 단지 적은 양의 예제 코드를 사용할 수 있습니다.

환경 및 검색된 값이 Int 인 Reader를 만들고 싶습니다. ReaderT이 예상되기 때문에, 나는 오류가 발생

addStuff :: Reader Int Int 
addStuff = do 
    a <- (*2) 
    b <- (+10) 
    return (a+b) 

: 나는 시도

type IntRead = Reader Int Int 

코드는 이것이다 :이 같은 유형을 정의했다. Reader Monad를 사용하여 addStuff과 같은 기능을 만드는 방법은 무엇입니까? 이 기능에 환경을 어디에서 제공해야합니까?

Answer 1

당신은이 두 isomorphisms로 다시 독자들에게 기능을 변환 할 수 있습니다

reader :: (r -> a) -> Reader r a 
runReader :: Reader r a -> r -> a 

일예

addStuff :: Reader Int Int 
addStuff = do 
    a <- reader (*2) 
    b <- reader (+10) 
    return (a+b) 

다음 코드를 runReader addStuff 5으로 테스트 할 수 있습니다.

이것은 학습 목적으로 좋습니다. 더 심각한 코드의 경우에는 동형을 많이 사용하지 말고 대신 ask 또는 asks에 의존해야합니다. 예 :

addStuff :: Reader Int Int 
addStuff = (+) <$> asks (*2) <*> asks (+10) 

독자 추상화의 요점은 기본 기능에 대해 생각되지 않습니다 : 실용적 스타일을 사용하여 더 나은

addStuff :: Reader Int Int 
addStuff = do 
    x <- ask -- fetch the implicit Int value 
    let a = (*2) x 
     b = (+10) x 
    return (a+b) 

또는 더 나은

addStuff :: Reader Int Int 
addStuff = do 
    a <- asks (*2) -- fetch the implicit Int value, and apply the function 
    b <- asks (+10) 
    return (a+b) 

또는,. ask 프리미티브를 통해 액세스 할 수있는 읽기 전용 변수에 대한 액세스 권한을 가질 수 있습니다.

보통 마지막 단계에서 runReader을 사용하여 실제로 모나 딕 리더 작업을 사용합니다.