'Const'적용 펀터는 무엇을 위해 유용합니까?

Question

Control.Applicative의 설명서에서 Const을 찾았지만, 유용하다고 생각되는 곳에서 작업하는 데 어려움이 있습니다. 바로 Monoid을 사용하는 것 이상입니다.

무엇이 누락 되었습니까?

Answer 1

Traversable과 결합하면 유용합니다.

getConst . traverse Const :: (Monoid a, Traversable f) => f a -> a 

이것은 많은 자료를 함께 사용하는 일반적인 방법입니다. Applicative을 Monad에서 분리 할 가치가 있다고 확신하는 사용 사례 중 하나였습니다. 나는 자유 변수의 표현에 의해 매개 변수화 Traversable Term에 대한 검사가 발생 할 일반화 elem

elem :: Eq x => x -> Term x -> Bool 

같은 물건을 필요로했다. 나는 Term의 표현을 계속 변경했으며 효과있는 매핑이 아닌 축적을 수행하는 엄청난 순회 기능을 수정하는 데 지쳐있었습니다. 나는이 둘을 포괄하는 추상화를 발견하게되어 기뻤다.

Answer 2

모든 기능 (Applicative) Functor에 대해 작동하는 기능 또는 데이터 구조가 있고 축약 된 의미로 다시 사용하고자 할 때 유용합니다. 주어진 임의의 함수에서 작동하는 함수에 const 또는 id을 전달하는 것과 유사합니다.

Van Laarhoven lenses 임의 펑의 관점에서 정의되고, (필드 업데이터를 유도하고 Identity 동등 사소한) 필드 접근을 유도하기 Const를 사용한다.

Traversable 유형은 pigworker 언급으로, 이것의 또 다른 예입니다.

Answer 3

dave4420에 언급 된 것처럼, Van Laarhoven 렌즈 용 접근 자 및 업데이터를 구현하려면 Const functor가 필요합니다. 정교하게하려면 : 가브리엘 곤잘레스가 지적

{-# LANGUAGE Rank2Types #-} 

import Control.Applicative 
import Control.Monad.Identity 

-- The definition of Van Laarhoven lenses: 
type Lens a b = forall f . Functor f => (b -> f b) -> (a -> f a) 

-- Getter passes the Const functor to the lens: 
get :: Lens a b -> a -> b 
get l = getConst . (l Const) 

-- Updater passes the Identity functor to the lens: 
modify :: Lens a b -> (b -> b) -> (a -> a) 
modify l f = runIdentity . l (Identity . f) 

set :: Lens a b -> b -> (a -> a) 
set l r = modify l (const r) 

-- Example: ------------------------------------------- 

data Person = Person { _name :: String, _age :: Int } 
    deriving Show 

name :: Lens Person String 
name f (Person n a) = fmap (\x -> Person x a) (f n) 

age :: Lens Person Int 
age f (Person n a) = fmap (\x -> Person n x) (f a) 

main :: IO() 
main = do 
    let john = Person "John" 34 
    print $ get age john 
    print $ set name "Pete" john 

Answer 4

으로, 헌장은 렌즈에 게터를 제공하는 데 사용됩니다. http://hackage.haskell.org/package/lens-tutorial-1.0.0/docs/Control-Lens-Tutorial.html. 당신은 단지 Const가 functor라는 것을 사용합니다.

트래 버설의 경우 완전한 Applicative 동작이 필요하며 다른 응답에서 설명한 pigworker가됩니다.