小编San*_*eek的帖子

我有一个表格的功能

'a -> ('a * int) list -> int

let rec getValue identifier bindings = 
  match bindings with
  | (identifier, value)::tail -> value
  | (_, _)::tail -> getValue identifier tail
  | [] -> -1

我可以identifier说它不受我想要的约束,并且在匹配表达式中充当新变量.如何identifier成为传递给函数的内容？

好!我用模式防护装置固定了它,| (i, value)::tail when i = indentifier -> value 但是我觉得这比我最初想要做的那样丑陋(我只使用这些语言,因为它们很漂亮......).有什么想法吗？

鉴于xml:

<element>text</element>
...
<element>text</element>

和xsl:

<xsl:for-each select="element">
...
</xsl:for-each>

我需要在for-each循环中放入什么才能访问文本？似乎没有成为一个对应的xsl:value-of,因为select="",select="/"和select="element"都是错误的.