2

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

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

运行 tx2 产生：[("Item 1","Item One",["p1_1","p1_2","p1_3"]),("Item 2","Item Two",["p2_1","p2_2" ])]

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

我想我也许可以使用proc和do符号来简化

{-# 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 表示法我缺少什么？

谢谢。

4

1 回答 1

2

您几乎不必run在 HXT 箭头上多次调用 -function 来获得您想要的结果。在您的情况下，listA可以使用而不是 map runLA从箭头获取结果列表。getChildren您还可以使用/>接线员摆脱许多呼叫。

您的proc-version oftoTuple对我来说看起来不错，但我会将您的示例代码的其余部分重写为

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 (,,)
于 2013-07-30T17:18:26.020 回答