XSLT FXSL 折叠 : list of functions?

Question

由于我一直在做一些遗留工作，我最近一直在学习如何在 XSLT 1.0 中使用函数式编程结构。所以我一直在了解有关 FXSL 的更多信息，并对 Foldl 有一些疑问。

 <xsl:template name = "foldl" >
     <xsl:param name = "pFunc" select = "/.." />
     <xsl:param name = "pA0" />
     <xsl:param name = "pList" select = "/.." />

     <xsl:choose>
         <xsl:when test = "not($pList)" >
             <xsl:copy-of select = "$pA0" />
         </xsl:when>

         <xsl:otherwise>
             <xsl:variable name = "vFunResult" >
                 <xsl:apply-templates select = "$pFunc[1]" >
                     <xsl:with-param name = "arg0" select = "$pFunc[position() > 1]" />
                     <xsl:with-param name = "arg1" select = "$pA0" />
                     <xsl:with-param name = "arg2" select = "$pList[1]" />
                 </xsl:apply-templates>
             </xsl:variable>

             <xsl:call-template name = "foldl" >
                 <xsl:with-param name = "pFunc" select = "$pFunc" />
                 <xsl:with-param name = "pList" select = "$pList[position() > 1]" />
                 <xsl:with-param name = "pA0" select = "$vFunResult" />
             </xsl:call-template>
         </xsl:otherwise>
     </xsl:choose>
 </xsl:template>

我的问题与 vFunResult 有关多变的。我知道它正在使用 $pFunc 制作一个“功能”应用程序模板，但为什么 [1]选择器，以及为什么模板调用中的 arg0 设置为 $pFunc[position > 0] ？ 您是否期望在 $pFunc 中传递多个“函数”至foldl ？

在我见过的所有函数式编程示例中，参数 f 都是单独传递的，而不是作为列表传递的，就像这个 Haskell 部分函数定义:foldl f z (x:xs) = foldl f (f z x) xs

Answer 1

我相信我是一个“可靠且官方”的来源，因为我恰好是 FXSL 的作者:)

My question has to do with the vFunResult variable. I get that it is making a 'function' application with the $pFunc template, but why the [1] selector, and why is the arg0 in the template call being set to
$pFunc[position > 0]? Is it expected that you are passing more than
one 'function' in$pFunctofoldl` ?

首先，这是一个很好的观察。您是 13 年来第一个注意到这一点的人。

这纯粹是历史原因。 2001 年我编写 FXSL 时，我还在学习 Haskell 和函数式编程。

在某些问题中，折叠显然是解决方案，但是，我们指定的函数需要一个附加参数。正如我所说，我只是在编写这些函数，我还没有弄清楚如何实现部分应用(这是四个月后通过引入 curry() 函数完成的。(参见此处:http://fxsl.sourceforge.net/articles/PartialApps/Partial%20Applications.html#4._Using_currying_and_partial_application_-_the_iter_and_power_functions 。)这就是为什么当时我决定在这种情况下，可以将附加参数作为列表的尾部传递，列表的第一项是 foldl 期望的“官方”函数。

I did notice that all the examples on fxsl.sourceforge.net/articles/FuncProg/2.html#List_processing only pass one template in $pFunc... so my initial thought is that arg0 is ignored by the $pFuncs in general?

这不是一个正确的结论。

请参阅此处:http://fxsl.sourceforge.net/articles/FuncProg/2.html怎么了minimum / maximum功能已实现。他们期望为$arg0要传递的附加函数，用于实现 <比较。因此，这些函数是完全通用的，并且不依赖于列表中项目的数据类型。

无论如何，正如我所说，问题中的观察反射(reflect)了纯粹的历史事实。如果查看 FXSL 2.0 的代码，这个“功能”完全消失了:http://fxsl.cvs.sourceforge.net/viewvc/fxsl/fxsl-xslt2/f/func-foldl.xsl?revision=1.3&view=markup

该函数本质上被定义为 XPath 2.0 单行代码:

  <xsl:sequence select=
         "if (empty($pList))
              then 
                  $pA0
              else
                  f:foldl($pFunc, 
                          f:apply($pFunc, $pA0, $pList[1]), 
                          $pList[position() > 1]
                          )"/>

最后，感谢您对 FXSL 的关注。我建议您查看 FXSL 2.x(针对 XSLT 2.0)并阅读我 2006 年在 Extreme Markup Languages session 上的论文: http://conferences.idealliance.org/extreme/html/2006/Novatchev01/EML2006Novatchev01.html

在 XSLT 2.0 中，可以几乎完全使用 XPath 2.0 并作为单行代码编写大多数 FXSL 函数。

当然，您需要查看 W3C XPath 3.0 规范:http://www.w3.org/TR/xpath-30/#id-inline-func ，其中高阶函数 (HOF) 已经完全成为该语言的一部分。您可能还对我上个月在 Balisage 2013 session 上发表的论文感兴趣:“XPath 3.0 中的编程”。论文在这里:http://t.co/p3mdgoTdgj

不过，PPT演示可能更有趣:https://t.co/i5xCTUObvp