问题标签 [quotations]

我尝试找到正确的模式来匹配并Expr<int>使用以下代码运行：

runSelectQuery 与Expr<IQueryable<'T>>模式正确匹配。但是，我找不到与我的通用计数查询匹配的正确模式Expr<int>

我从 countQuery 的签名派生的代码中的模式给了我一个：

此表达式应为 Expr 类型，但这里的类型为 'a * 'b

有人可以解释一下这个报价吗？

一个好的编程语言是一个思考编程的概念世界。
——艾伦·佩利斯

我试图寻找“概念宇宙”的含义，但找不到适合该句子的含义。

有问题的声明是：

其中 q 是一个整数。当您可以像这样键入时，为什么要那样键入

因为它是一个整数，所以它不应该需要正确的引号，或者即使它确实需要引号，为什么不只是一对。有什么意义'".$var_name."'？

我的 SharePoint 2010 服务器中有一个公司列表，其中的大多数项目（不是全部）都具有类似"Company Name". 虽然当我在我的搜索页面上搜索一家公司时，它会返回一个标题，就像"Company Name没有最后一个引号一样。我做了一个解决方案来添加

<xsl:if test="contains(title, '&quot;')">"</xsl:if>

到我的搜索结果 xslt，它工作得很好，但我想知道它是否是一个 SharePoint 错误，或者这个问题在刚刚发布的 Service Pack 2 中得到了解决？谢谢！

F# 社区的常识是，PowerPack 的引用编译工具生成的代码非常慢，实际上它的执行速度比天真的解释还要糟糕。我一直在研究造成这种情况的原因，但到目前为止我还没有找到令人信服的答案。有人声称，这种情况的发生要么是因为引用中的模式匹配等事物的表示效率低下，要么是因为库使用的表达式树的固有效率低下。我想用一个简单的例子来说明为什么我认为两者都不正确：

这里显然出了问题。问题是，什么？

编辑： FSharpx.Linq 编译器也会发生相同的行为

最近，我学习了如何实现具有反引用功能的准引用器，如printfQ下面的代码：

quasiquote 的成分字符串将被传递给quoteExp printfQ :: String -> ExpQ. 所以我们要做的是解析给定的String，找到要嵌入的名称"itemName"和"price"，申请varE . mkName每个名称，然后构建ExpQ.

现在假设我想扩展它printfQ以允许表达式嵌入，如下所示：

[printfQ| The price of #{itemNames !! i} is #{price + taxOf price}. |]

我可以编写检测两个字符串"itemNames !! i"和"price + taxOf price". 但是我需要一个更强大的版本，一个将这些字符串转换varE . mkName为的类型函数，将它们解释为引用所使用的命名空间的表达式。String -> ExpQExpQprintfQ

我的问题：是否有任何库函数可以将此字符串转换为 AST？有一些简单的方法可以做到这一点，还是我需要编写一个完整的 Haskell 解析器？

• 这个问题与这个问题密切相关。Is there a template haskell function for quoting？ 我发布此消息是希望以更集中和更清晰的方式陈述问题可以帮助社区找到答案。

试图抓住引号之间的短语时，我似乎无法正确使用正则表达式。例如粗体（注意：输入前后都有字符串）：

“我很能理解你的想法。” 我说。“当然，在你这个非官方的顾问和帮助者的位置上，在三个大陆上，你会接触到所有奇怪和奇异的东西。但是在这里”

“当然，在你这个非官方的顾问和帮助者的位置上，在三个大陆上，你会接触到所有奇怪和离奇的事物。但是在这里” ——我从地上捡起晨报—— “让我们进行实际测试。这是我来的第一个标题。'丈夫对妻子的残忍。' 有半行字，但我不读就知道，这一切对我来说都是非常熟悉的。当然，还有另一个女人，喝酒，推搡，打击，瘀伤，同情的姐姐或女房东. 最粗鲁的作家不能发明更粗鲁的东西。

我试图在引号之前和之后获取文本，但我无法获得所需的输出。必须有某种方法将正则表达式分组，以便我可以捕获引号之间的字符串以及周围的两个引号。

试过：

期望的输出：

我该怎么做才能使以下工作？

我需要创建一个接受 Expr 列表并返回 Expr (Expr list -> Epxr) 的函数。

我创建了 DataObject 类型来添加 args 的值。但不知何故，我无法设法让代码迭代不同的 args (args.[0] .. args.[i])。我得到的信息是：

变量 'arg' 绑定在引号中，但用作拼接表达式的一部分。这是不允许的，因为它可能会超出其范围。

如果我显式访问 args (args.[0], args.[1], ...)，则解决方案有效，但是一旦我尝试添加迭代，我就会遇到问题。因为 args 列表的长度是灵活的，所以这对我来说不是一个可行的解决方案。

我尝试了不同的方法，但没有成功。有什么解决办法吗？

[编辑]

在我的解决方案中添加 Tomas 的反馈给我带来了这个：

这行得通！唯一的问题是我想摆脱 if ... else 构造以获得正确的转换。有任何想法吗？

我很难根据自己的需要调整功能。首先查看这三个文件并注意我必须如何在 main 函数中调用 f_texture 函数才能使其工作：

外部人员.h

函数A.c

函数B.c

现在这是我的问题：如何重写此代码以使其可以在不使用引号的情况下调用 f_texture 函数？我的意思是输入 f_texture(abcd,efgh) 而不是 f_texture("abcd","efgh")。我注意到在我写完这段代码之后就需要这种方式。提前致谢。

我正在使用的语言是 C。

我正在尝试混合使用内置的 c 字符串函数来获取标记列表（空格分隔）并将其“转换”为由引号分隔的标记列表。

像一个字符串

回声“你好 1 2 3 4”测试 test2

转换为

[回声] [“你好] [1] [2] [3] [4”] [测试] [测试2]

然后我使用我的代码（在底部）尝试将其转换为类似

[回声] [你好 1 2 3 4] [测试] [测试2]

由于某种原因，引用语句中的第二个“令牌”被覆盖。这是在令牌列表上运行并将其转换为新的代码片段。