问题标签 [quotations]

我正在做一个项目，我正在尝试将 F# 和 Linq 用于 UDF，并将过程存储在 SQL 服务器中。其中一部分是静态定义所有有效查询、排序标准以及对查询结果进行评分的方法。

到目前为止，我已经相当成功，但是我在编写 sortBy 表达式时遇到了严重的困难。

这是基本概念

这最终会像这样在查询执行器中使用

使用这些基本轮廓，只要我不使用 (%sorts)，一切都可以正常工作。每次我传递它时，我都不会在 F# 到 Linq 翻译器中被识别。我已经尝试了许多使用组合器的不同尝试，但我觉得我错过了一些东西。如果我使用以下内容排除排序器功能

它按预期工作。但是使用这样的组合器：

才不是..

有任何想法吗？

我试图理解这段代码，但我不能:(

为什么$time变量在这个创建的函数中成功传递，但是当我尝试时：

$limit不是吗？

ps：如果我尝试$what = create_function('$a', 'return '.'"'." LIMIT 10".'"'.';');它的工作...

鉴于以下情况：

以下引文产生了看似相同Expr的 s：

使用调试器进行挖掘，我看不出有任何方法可以判断这f是一个泛型值，而g它是一个泛型函数：是否可以仅从fqand来判断它gq？由于 F# 可以区分程序集之间f和g程序集之间的差异，我认为我很有可能能够从引用中获取元数据。虽然一个问题可能是 F# 似乎实际上编译了f一个函数版本unit -> string * string（查看反汇编代码；可能是为了与其他 .NET 语言互操作），所以如果引用使用的是函数版本，则信息可能会丢失.

更新

根据@Tomas 的指导，这是我想出的：

这可以用于匹配 on Patterns.Call(_,mi,_)，其中第二个参数mi是一个MemberInfo实例。但是，有一个问题：它不适用于动态程序集（如 FSI）。

我刚刚遇到 http://frankniemeyer.blogspot.com/2010/04/minimalistic-native-64-bit-array.html 其中包含该行

我相信技术短语是“到底是什么？” 在我（约 8 个月）的 F# 编程中，我从未遇到过类似的东西......

FSI 告诉我一些关于不推荐使用的构造，仅用于 F# 库......

和谷歌（＃确实呃......好吧，不多

这有什么方向吗？

我在很多地方都看到过这个引用：

“在一个数据结构上运行 100 个函数比在 10 个数据结构上运行 10 个函数要好。” ——艾伦·佩利斯

但我从未见过它解释了为什么这应该是真的。是否只是您应该尝试从第一个数据结构派生其他 9 个数据结构以避免重复数据的想法？我觉得我错过了一些背景。

我认为我可以通过引用来做到这一点 - 但我不知道如何。

我应该只使用带有名称的函数表 - 还是他们这样做的一种方式？

谢谢。

欲了解更多信息......

我从 excel 中调用了很多 f# 函数，我想知道我是否可以编写 af# 函数

let fs_wrapper (f_name:string) (f_params:list double) = 这个位用 f_params 调用 fname

然后使用

=fs_wrapper("my_func", 3.14, 2.71)

在工作表中，而不是单独包装所有功能。

例如，给定<@ let x = <@ 1 @> in x @>and <@ let x = <@@ 1 @@> in x @>，我可以同时匹配 withPatterns.Let(_, (Patterns.Quote(_) as q), _) -> q但我无法区分 typed 和 untyped q。

我正在尝试创建一个两侧有巨大引号的块引用。块引用的文本内容是动态的，因此标记应根据其大小对齐。

我使用了一个 inline-block 元素，所以它会缩小以适应并包含它的文本，我在那里有 90%，但我唯一的问题是一个 inline-block 元素在它有多行时变成了一个块元素.

为了说明为什么这是一个问题，我制作了 jsfiddle 片段：

http://jsfiddle.net/kTQqC/1/

如您所见，大多数块看起来都是正确的：

1. 单行 - 没问题。结束标记附加到最后一个单词。
2. 多行 - 块引用占用完整的可用宽度。不过，问题不大。
3. 与 2 相同，只是较短的单词。
4. 这是棘手的地方。由于 inline-block 元素变成了块元素 - 它占用了全部可用宽度并通过将结束标记放置得很远而破坏了效果。

我无法控制内容的字长。有时会出现示例 4。

有谁知道如何解决这个问题？如果您有完全不同的方法来获得相同的效果，我也愿意丢弃所有这些代码。

谢谢！

有谁知道为什么不sub抛出异常add？这是一个错误吗？

请注意，如果没有 inline 关键字，则不会引发异常（但代码不是通用的）此外，仅在使用引号时才会引发异常。正常评估工作正常。

谢谢

编辑：简化代码示例

我遇到了“引用”一词，我试图找出一些使用它的真实例子。每个代码表达式都有 AST 的能力听起来很棒，但是如何在现实生活中使用它呢？

有谁知道这样的例子？