'Const'アプリケーションファンクタとは何ですか？

Question

Control.ApplicativeのドキュメントでConstが見つかったばかりですが、これは便利なところで働いていて、ちょうどMonoidを使っています。

私には何が欠けていますか？

Answer 1

Traversableと組み合わせて使うとかなり役に立ちます。

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

これは、たくさんのものを一緒に輝かせるための一般的なレシピです。 ApplicativeをMonadから分離する価値があることを私に納得させたのはユースケースの1つでした。私は自由変数の表現によってパラメータTraversable Termのためのチェックを行うために発生する一般的なelem

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

ようなものを必要としていました。私はTermの表現を変更し続けました。そして、効果的なマッピングではなく、いくつかが累積を行っていた膨大なトラバース関数を修正するのに疲れました。私は両方をカバーする抽象概念を見つけるのはうれしいです。

Answer 2

すべて（Applicative）Functorで機能する関数またはデータ構造を持ち、縮退した意味で再利用したい場合に便利です。与えられた関数で動作する関数にconstまたはidを渡すのと似ています。

Van Laarhoven lenses任意ファンクタに関して定義され、そして（フィールドアップデータを導出し、Identity等しく些細）フィールドアクセサを導出するConstを使用しています。

Traversableタイプは、これとは別の例です。

Answer 3

dave4420に記載されているように、Van Laarhovenレンズのアクセッサとアップデータを実装するには、Constファンクタが必要です。手の込んだするには：ガブリエル・ゴンザレスが指摘

{-# 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

として、constがレンズにゲッターを提供するために使用されます。 http://hackage.haskell.org/package/lens-tutorial-1.0.0/docs/Control-Lens-Tutorial.html。そこでは、Constがファンクタであることだけを使用します。

トラバーサルについては、完全なアプリケーションの動作が必要で、別の回答で説明したpigworkerになります。