내가 내 질문에 관련이없는 모든 코드를 무시하고, 종류의이 같은 보이는 몇 가지 코드있어

Question

리더 모나드 사용하는 하스켈 기능 리팩토링 :

import qualified Control.Monad.Reader as Reader 

data FooEnv = FooEnv { bar :: Int -> Int } 
type FooReader = Reader.Reader FooEnv 

foo :: Int -> FooReader String 
foo i = Reader.liftM show $ bar' i 
    where 
    bar' i' = do 
     bar'' <- Reader.asks bar 
     return $ bar'' i' 

것은 거기 이것을 리펙토링하는 방법? 특히 중첩 된 bar' 함수는 나를 가장 괴롭 히고 있습니다. 이것이 한 줄로 압축 될 수 있습니까?

Answer 1

우리는 약간의 동등한 추론을 할 수 있습니다. 먼저 bar'을 봅시다. 나는 그것은 liftM가 위의 패턴에 맞는 liftM f m = m >>= \a -> return (f a)으로 정의되는 것으로 나타났다

asks bar >>= \z -> return (z i) 

이 양식을 작성할 수 있습니다. 그래서 우리는 liftM 우리가 인식 할 수 fmap 것을 알고있는 경우의 조금 특히

liftM show . liftM ($ i) $ asks bar 

을 작성,

liftM show (liftM ($ i) (asks bar)) 

인 또는

liftM ($ i) (asks bar) 

그런 다음 우리가 foo이로 교체하자 Functor 법칙은 여기에서

fmap show . fmap ($ i) $ asks bar -- equals 
fmap (show . ($ i)) $ asks bar 

나는 우리가 전화 사이트에서 bar를 사용하여 asks을 제거하는 결정할 수, 개인적으로 함수로 ($ i)를 사용의 큰 팬이 아니에요, 그래서

fmap (\f -> show (f i)) (asks bar) 

이제 명시 적 람다로 다시 보자 (즉 유형의 기능

fmap (\f -> show (bar f i)) ask 

및 최종 트릭으로, 우리는 fmap 치우는 기능에 무의미 가고, 심지어 asks의 사용을 반환 flip를 사용할 수 bar :: FooEnv -> Int -> Int (감사 Ørjan 요한센)

fmap (show . flip bar i) ask -- or even 
show . flip bar i <$> ask  -- or even 
asks (show . flip bar i) 

으로 bar 사용

이 작업을 수행하는 데 가장 읽기 쉽거나 멋진 방법은 아니지만, 방정식을 사용하여 어떻게 조각을 왜곡 할 수 있는지 확인할 수 있습니다.