SORU
29 Kasım 2011, Salı


Fonksiyonel lensler

Biri bana işlevsel lensler açıklayabilir mi? Google için şaşırtıcı derecede zor bir konu olduğunu ve herhangi bir ilerleme görmedim. Tek bildiğim/OO daha işlevsellik hazırlanın benzer sağlamaktır.

CEVAP
29 Kasım 2011, Salı


Bir lens iki işlevi, bir alıcı ve ayarlayıcı içerir:

data Lens a b = Lens { getter :: a -> b, setter :: b -> a -> a }

Örneğin, bir çift birinci ve ikinci bölümleri için lens olabilir:

fstLens :: Lens (a, b) a
fstLens = Lens fst $ \x (a, b) -> (x, b)

sndLens :: Lens (a, b) b
sndLens = Lens snd $ \x (a, b) -> (a, x)

Lenslerin gerçek rahatlığı oluşturan

compose :: Lens b c -> Lens a b -> Lens a c
compose f g = Lens (getter f . getter g) $
                   \c a -> setter g (setter f c (getter g a)) a

Ve onlar mekanik State geçişler dönüştürmek:

lensGet :: MonadState s m => Lens s a -> m a
lensGet = gets . getter

lensSet :: MonadState s m => Lens s b -> b -> m ()
lensSet f = modify . setter f

lensMod :: MonadState s m => Lens s b -> (b -> b) -> m ()
lensMod f g = modify $ setter f =<< g . getter f

( =) :: (MonadState s m, Num b) => Lens s b -> b -> m ()
f  = x = lensMod f (  x)

Bunu Paylaş:
  • Google+
  • E-Posta
Etiketler:

YORUMLAR

SPONSOR VİDEO

Rastgele Yazarlar

  • CaptainDisillusion

    CaptainDisil

    18 EYLÜL 2007
  • TeeMayneTV

    TeeMayneTV

    27 Kasım 2010
  • William Sledd

    William Sled

    24 EYLÜL 2006