多个运算符的评估顺序以中缀形式

Question

鉴于这种：

 data Base = Base {
   key1 :: Text,
   key2 :: Text,
   key3 :: Text
 } deriving (Show)

instance FromJSON Base where
  parseJSON (Object v) = Base <$>
                         ((v .: "base123") >>= (.: "key1")) <*>  -- 1
                         ((v .: "base123") >>= (.: "key2")) <*>  -- 2
                         ((v .: "base123") >>= (.: "key3"))      -- 3

  parseJSON _ = mzero

前缀运算符<$> ， <*>和<*>的应用顺序是什么？ 换句话说，如果我以前缀形式重写它：

instance FromJSON Base where
      parseJSON (Object v) = Base <$> ((<*>) ((v .: "base123") >>= (.: "key1")) $ (<*>) ((v .: "base123") >>= (.: "key2")) ((v .: "base123") >>= (.: "key3")))

      parseJSON _ = mzero

（注意$运算符），将首先评估第二个<*>的右侧部分，因为仅在这种情况下才有意义，因为第一个<*>需要2个参数？ 并且由于它需要2个参数，因此我们也必须使用$ 。

我可能会问我的问题，以致难以理解我的意思，但我希望你确实理解。

Answer 1

实际上您的前缀形式不是很正确，应该是这样的：

parseJSON (Object v) = ((<*>)
                        ((<*>)
                         ((<$>) Base ((v .: "base123") >>= (.: "key1")))
                         (((v .: "base123") >>= (.: "key2"))))
                        (((v .: "base123") >>= (.: "key3"))))

上面的定义仍然不是完整的前缀形式。 您必须在左边加上>>=和.:使其完全前缀。 话虽这么说，要找到以infix形式表示的多个运算符的确切评估顺序，建议您使用ghci进行操作，以获取更多有关类型的见解。 首先，请检查所有运算符的关联性和优先顺序：

λ> :i (<$>)
(<$>) :: Functor f => (a -> b) -> f a -> f b
infixl 4 <$>
λ> :i (<*>)
(<*>) :: f (a -> b) -> f a -> f b
infixl 4 <*>

因此，它们都保持关联并且具有相同的优先级。 定义的中缀形式非常清楚如何进行评估：它们从左开始，首先在Base上应用<$> ，然后再应用两个<*>函数。 类型Base最初应用于<$>

λ> :t Base
Base :: Text -> Text -> Text -> Base
λ> :t (Base <$>)
(Base <$>) :: Functor f => f Text -> f (Text -> Text -> Base)

现在，将((v .: "base123") >>= (.: "key1"))应用于上述类型的结果：

λ> let (Object v) = undefined :: Value
λ> :t (Base <$> ((v .: "base123") >>= (.: "key1")))
(Base <$> ((v .: "base123") >>= (.: "key1"))) :: Parser (Text -> Text -> Base)

您会看到它返回包装在Parser类型中的函数。 Parser类型中提取基础函数，必须使用<*> ：

λ> :t (<*>)
(<*>) :: Applicative f => f (a -> b) -> f a -> f b
λ> :t (Base <$> ((v .: "base123") >>= (.: "key1")) <*>)
(Base <$> ((v .: "base123") >>= (.: "key1")) <*>) :: Parser Text -> Parser (Text -> Base)

您可以按照类似的步骤查看如何将其应用于函数定义的其他部分。 最后，您将获得一种Parser Base 。