Question

我一直在尝试编写一些使用箭头的Haskell代码的更紧凑版本。

我正在尝试将xml转换为元组列表。

运行tx2会产生： [（“第1项”，“第1项”，[“p1_1”，“p1_2”，“p1_3”]），（“第2项”，“第2项”，[“p2_1”，“p2_2”]）] < / p>

我所使用的代码，但我不禁想到我不应该像我一样使用尽可能多的runLA调用。我为 getDesc ， getDisp 和 getPlist 中的每一个调用runLA。

我以为我可以使用 proc 和做表示法来简化

{-# LANGUAGE Arrows, NoMonomorphismRestriction #-}
module Test1 where

import Text.XML.HXT.Arrow.ReadDocument
import Text.XML.HXT.Core

xml = "<top>\
               \<list>\
            \<item>\
                \<desc>Item 1</desc>\
                \<plist>\
                    \<p>p1_1</p>\
                    \<p>p1_2</p>\
                    \<p>p1_3</p>\
                \</plist>\
                \<display>Item One</display>\
            \</item>\
            \<item>\
                \<desc>Item 2</desc>\
                \<plist>\
                    \<p>p2_1</p>\
                    \<p>p2_2</p>\
                \</plist>\
                \<display>Item Two</display>\
            \</item>\
        \</list>\
    \</top>"

tx1 = runLA (xread >>> getChildren >>> hasName "list" >>> getChildren >>> hasName "item") xml
tx2 = map toTuple tx1

toTuple i = let
            desc = getDesc i
            display = getDisp i
            plist = getPlist i
            in (desc, display, plist)

aDesc = getChildren >>> hasName "desc" >>> getChildren >>> getText >>> unlistA
aDisp = getChildren >>> hasName "display" >>> getChildren >>> getText >>> unlistA
aPlist = getChildren >>> hasName "plist" >>> getChildren >>> deep getText

getDesc i = runLA aDesc i
getDisp i = runLA aDisp i
getPlist i = runLA aPlist i

但是当我尝试按如下方式重写tx2时：

aToTuple = proc tree -> do
                desc    <-  aDesc  -< tree
            display <-  aDisp -< tree
            plist   <- aPlist -< tree
            returnA -< (desc, display, plist)

tx3 = map (\i -> runLA aToTuple i) tx1

这一切都落在了一大堆。

转换为proc / do表示法时我错过了什么？

感谢。

Answer 1

你几乎不必在HXT上多次调用run - 函数箭头，以获得您想要的结果。在您的情况下，可以使用listA代替 map runLA获取箭头的结果列表。你也可以摆脱使用/>运算符进行了许多getChildren次调用。

你的proc - toTuple版本对我来说很好，但我会改写剩下的您的示例代码为

tx1 = runLA (xread /> hasName "list" /> hasName "item" >>> toTuple) xml

toTuple = proc tree -> do
    desc <- aDesc -< tree
    disp <- aDisp -< tree
    plist <- aPlist -< tree
    returnA -< (desc, disp, plist)


aDesc  = getChildren >>> hasName "desc" /> getText
aDisp  = getChildren >>> hasName "display" /> getText
aPlist = getChildren >>> hasName "plist" >>> listA (getChildren /> getText)

而不是使用箭头符号，toTuple可以简单地写为

toTuple = aDesc &&& aDisp &&& aPlist >>> arr3 (,,)

当尝试使用proc和do notation时，haskell箭头混乱

1 个答案: