ファンクターインスタンスの状態

Question

instance Functor (State s) where 
    fmap f (State g) = State $ \s0 -> 
     let (a, s1) = g s0 
     in (f a, s1) 

Stateの実装はFunctorです。私はそれがどのように機能するのか理解できません。特に、gは関数として使用されますが、私の目では関数ではありません。それは単なる目的（たぶん関数）ですが、なぜそれが機能しているのか理解できません。結局のところ、何らかの状態でなければならないので、例えばInt

を明記してください。

Answer 1

あなたの状態のタイプがどのように見えるように見えます：あなたが

fmap f (State g) = State $ \s0 -> 

に入力された状態値に一致したときに

fmap :: (a -> b) -> (State s a) -> (State s b) 

：ので、あなたのfmap機能が型を持っている必要があり

data State s a = State (s -> (a ,s)) 

gは、関数s -> (a, s)ですdをタイプs -> (b, s)の1つを構築する。

(a, s1) = g s0 

は、新しい状態に結果にaとs1を結合、既存のステートフル計算への入力状態を適用します。その後、変更されない状態がgから返されながら

(f a, s1) 

にマッピングされた結果値を得るために、aにfを適用します。