将镜头传递给函数

Question

如何正确传递镜头到具有状态的函数中？让我们考虑下一个代码：

{-# LANGUAGE TemplateHaskell #-} 
{-# LANGUAGE FlexibleContexts #-} 

import Control.Lens 
import Control.Monad.State 

data Game = Game { _armies :: [Army] 
       } deriving (Show) 

data Army = Army { _troops :: Int 
       } deriving (Show) 

makeLenses ''Game 
makeLenses ''Army 

data BattleResult = Win | Defeat deriving (Show) 

offend offender defender = do 
    Just ot <- preuse $ offender.troops 
    Just dt <- preuse $ defender.troops 
    defender.troops.=0 -- doesn't work 
    let eval a b 
     | a >= b = return Win 
     | otherwise = return Defeat 
    eval ot dt 

game :: State Game() 
game = do 
    armies %= (:) (Army 100) 
    armies %= (:) (Army 200) 
    q <- offend (armies.ix 0) (armies.ix 1) 
    return() 

标线引出了下一个错误：

Lens.hs:21:3: 
    Couldn't match type ‘Const (Data.Monoid.First Int) s’ 
        with ‘Identity s’ 
    Expected type: (Army -> Const (Data.Monoid.First Int) Army) 
        -> s -> Identity s 
     Actual type: (Army -> Const (Data.Monoid.First Int) Army) 
        -> s -> Const (Data.Monoid.First Int) s 
    Relevant bindings include 
     defender :: (Army -> Const (Data.Monoid.First Int) Army) 
        -> s -> Const (Data.Monoid.First Int) s 
     (bound at Lens.hs:18:17) 
     offender :: (Army -> Const (Data.Monoid.First Int) Army) 
        -> s -> Const (Data.Monoid.First Int) s 
     (bound at Lens.hs:18:8) 
     offend :: ((Army -> Const (Data.Monoid.First Int) Army) 
       -> s -> Const (Data.Monoid.First Int) s) 
       -> ((Army -> Const (Data.Monoid.First Int) Army) 
        -> s -> Const (Data.Monoid.First Int) s) 
       -> m BattleResult 
     (bound at Lens.hs:18:1) 
    In the first argument of ‘(.)’, namely ‘defender’ 
    In the first argument of ‘(.=)’, namely ‘defender . troops’ 

Lens.hs:21:12: 
    Couldn't match type ‘Identity Integer’ 
        with ‘Const (Data.Monoid.First Int) Int’ 
    Expected type: (Int -> Identity Integer) 
        -> Army -> Const (Data.Monoid.First Int) Army 
     Actual type: (Int -> Const (Data.Monoid.First Int) Int) 
        -> Army -> Const (Data.Monoid.First Int) Army 
    In the second argument of ‘(.)’, namely ‘troops’ 
    In the first argument of ‘(.=)’, namely ‘defender . troops’ 

如果有类似armies.ix 0.troops.=0代码通常被编译更换线。是否有一些标准工具可以解决问题？并且可以使用相同的算法而不使用FlexibleContexts？

Answer 1

只需使用类型签名！

这里发生了什么：如果您不提供签名，GHC将只能推断Rank-1类型^＆dagger;。在本例中，您使用defender.troops作为吸气剂^＆ddagger;;编译器因此推断defender的吸气剂类型。这是错误消息中的Const中的丑陋之处。

但是，您也想将其用作setter。这是唯一可能的，如果defender是多态的（所以你可以使用Identity仿函数而不是Const），并且对于参数是多态的，你需要Rank-2多态性。

虽然你并不需要担心这种类别理论魔术，因为镜头库提供了易于使用的同义词。只要写签名，你应该始终做反正，

offend :: Traversal' Game Army -> Traversal' Game Army -> State Game BattleResult 

，并得到适当的多态参数。啊，当然你需要-XRankNTypes扩展。实际上并不需要-XFlexibleContexts（这是完全无害的，但没有理由不使用它）。

---

^＆dagger;_{无论如何，如果你问我，Hindley-Milner会是一个奇迹，但它只是起作用，因为有一个明确定义的最常用的任何表达式的签名。 Rank-1代码只有这种情况：在Rank-N中，您可以随时在另一层普遍量化中折腾。编译器无法知道何时结束！}

^＆ddagger;_{其实一个Getting，这是一个遍历getter。 Getter和Getting之间的差异在于后者可能是部分的（这是必要的，因为您使用ix;编译器无法证明军队列表中索引1处实际上存在元素）。}