我刚刚对价值进行了一些验证，看它是三个的乘积。很好地使用模数功能。我想管它。很好地使用部分应用程序。但显然不是。

这是我的 fsi 在 vs 代码中的一个例子。

我真的没想到会从中缀和部分中得到不同的结果。

这是上下文管道中的操作：

我的一位同事正在将下面的 C# 转换为 F#：

他得到的最自然的结果是：

虽然这完全没问题，但他想知道他是否可以使用中缀运算符而不是后续的管道转发|>运算符来获得一些东西。沿着这些思路：

我也很好奇，我怀疑中缀运算符可能会这样做，但不确定哪个真正适合该角色。

这纯粹是出于好奇。

在 Kotlin REPL 和 Kotlin/JVM 中：

• -1 ushr 4评估为268435455
• -1.ushr(4)评估为0

第一个是正确的，因为 -1 是 0xFFFFFFFF，所以 0x0FFFFFFF 是 268435455，但是是什么让第二个不同？

首先，抱歉我的英语很差，我会尽力让自己清楚，但如果有什么不合理的地方，请指出，我会尝试重新表述。这个问题会很大，这是我第一次寻求有关编程的帮助（到目前为止，我总是在 google 上找到解决方案或想出一些可以解决问题的方法），在这种情况下，我既不了解该语言，也不了解是时候完成学习过程了，真的需要一些经验丰富的建议（最初发布在 Reddit 上：https ://www.reddit.com/r/fsharp/comments/con2aj/new_to_f_help_with_unobtrusive_logging/来 SO 寻求更大的支持）。

TL;博士; 我与单子组合的中缀运算符斗争，利用面向铁路的编程，但无法检索方法信息以进行 AOP 日志记录。我真的很想知道是否有一种方法可以将自动引号与中缀运算符结合起来，或者是否有另一种形式来获取有关中缀类绑定操作或普通 let-binding 前缀中的函数的元信息（不需要静态成员）。我并不特别担心性能，因为这不是一直在运行的东西，它更像是用于特定情况的调试级别日志记录。

---

一些背景：

我对 F# 完全陌生，我在各种语言（包括一点 C#）方面有 7 年的经验，并且从一开始就喜欢函数式编程，但从来没有机会在我的工作中使用它。现在我有机会将 F# 用于数据转换管道，我真的很想给人留下好印象。

所以我已经用 F# 玩了大约三周了，我完成了我的小应用程序的一些构建块，并且对横切关注点（尤其是日志记录）有些头疼。我真的很喜欢 AOP（面向方面​​编程）的日志记录方法（不是弄乱逻辑而是装饰函数），并且想在 F# 中使用类似的东西。我做了我的研究，似乎计算表达式是要走的路（或者至少在 AOP F# 搜索中总是会出现这种情况）......但我真的很喜欢在管道中链接操作，这很有意义我正在建模的领域，因为它的主要重点是数据结构遍历和应用于源的转换管道。

我爱上了 F# 的简洁性（我是管道 (|>) 运算符的忠实粉丝）和强大的功能，并且正在寻找一些方便的语法，使一堆链接操作在记录某些内容的必要性中看起来简单而明确沿链采取的行动....这就是我到目前为止遇到的情况，确实需要一些指导：

1. 报价单
2. 类型扩展
3. 引用第二个想法
4. 结论和帮助

我真的是新手，所以如果您认为我遗漏了一些愚蠢且完全明显的东西，请不要犹豫，让我知道，我所做的可能完全错误 xD。废话不多说，这是我要装饰的起始代码

我正在寻找这样的东西，>>=!日志装饰形式在哪里>>=：

所以我唯一不知道的是如何获取作为参数传递的函数的名称和模块。

---

1. 语录

我发现的第一件事是关于引文。

• 如何在 F# 中获取函数参数的名称？
• 如何从引用的表达式匹配中获取模块、函数等的 F# 名称

从第一个（接受的答案下的一些回复），我知道不仅引用是提取此类信息的方法，而且可以使用[<ReflectedDefinition>]属性从普通函数自动转换为参数。从第二个中，我得到了一种获取正确 FSharp 名称的形式。这是我尝试过的：

但是[<ReflectedDefinition>]，属性 sin general 似乎只适用于静态成员。所以我尝试了使用有区别的联合来识别运算符的静态成员方法：

我认为这两个参数都不是来自 Logger 类型是我的错（它预期中缀静态操​​作适用于相同类型）所以我稍微改变了方法只是为了测试我的假设。假设我有一个用于引用的 eval 函数（例如来自 LINQ 或 Unquote 的函数），quotationEval我可以执行以下操作：

似乎第一个示例没问题，而问题在于中缀运算符。我真的很想使用中缀表示法而不是前缀命名函数来进行组合，但是如果我在 let bounded>>=!中使用这些函数，从 Logger 更改其中一个函数会怎样：

好的，不，这也不起作用。在上面的示例中，如果它起作用，我match <@ func @> with会遇到同样的问题。我需要将函数直接传递给 with ，[<ReflectedDefinition>]因为如果我不这样做，函数的名称将取自参数。再次使用前面描述的 eval 函数，quotationEval我可以执行以下操作：

但我认为<@ ... @>语法是相当随意的，与日志记录无关，除了作为这种情况的一种方便的黑客攻击，所以我认为也许......我可以扩展函数（扩展是一个静态成员，所以它原则上可以接受[<ReflectedDefinition>]属性) 并让这个 hack 在 API 中不可见。

---

2.类型扩展

我专门寻找扩展函数类型，所以这就是我发现的：

• https://docs.microsoft.com/es-es/dotnet/fsharp/language-reference/type-extensions
• 具有 F# 函数类型的扩展方法
• 类型扩展中的重载运算符

在这种情况下，因为我需要这两个函数，所以第一个元组是一个常量函数，给定一个单元返回元组。此外，我只使用第一个函数对元组的链接执行进行编码，我的目标只是知道中缀运算符是否在类型扩展中工作：

在这种情况下，它甚至不起作用（而且我还没有将 g 定义为 Expr< -> >），中缀运算符从未被识别。在前面的例子中，问题出在类型上，而不是识别上。通读第三个链接（类型扩展中的重载运算符）中的答案，看来我需要一些努力才能让中缀运算符在类型扩展中工作，但鉴于它在该解释中有一个中间 let bounded 函数，整点抽象元数据永远不会像我之前的例子那样奏效。

那很快......我当时用不同的方法回到报价单

---

3.引文第二个想法

自从我开始调查并尝试不同的事情以来，已经过去了将近 2 个工作日，当我开始以不同的方式思考时，我几乎要放弃了。它使用了与第一部分几乎相同的东西，但不是在链接函数中，而是作为实际的“装饰器”，也许我们可以得到这样的东西：

日志使获取函数元数据的工作繁重，并且仅在我认为需要时才适用。它看起来简洁明了，我能用我所学的东西实现这样的目标吗？我想我可以，因为我不再为中缀运算符而苦苦挣扎。有两个重要的功能没有定义，所以这是我的尝试：

如您所见，有两个>>=函数，一个将 bool 和 expr 的元组作为第二个参数，另一个仅接受一个函数。拥有一个元组而不是一个函数的唯一方法是首先通过 Logger.debug 所以只有在使用 Logger 时。调试参数并打印结果。它比我想要的更详细但很明确，我更喜欢它而不是<@ ... @>每个要记录的函数的语法。

---

4. 结论和帮助

好吧，如果您在这里，我要感谢您，我知道它很大，但这是解释我尝试的继承以及最终起作用的唯一方法。我还没有时间清理代码，但我想我明天可能会这样做，并将最终版本的最小清理版本上传到 gist。我想听听我错过的事情，反馈并知道是否有更好、更清晰或惯用的方法来做到这一点，尤其是利用中缀运算符（我不太明白为什么我不能让它们在这个情况，我真的觉得这里的语言很挣扎）我很想写一些类似的东西

无法得到任何这些，第一个是因为中缀运算符没有像我想象的那样工作，第二个是因为：

因为没有直接将参数传递给标有自动引用属性的函数。

我可能遗漏了一些非常明显的东西，所以如果是这样，请赐教，我真的很喜欢我目前正在做的事情，而且 F# 是一种非常漂亮的语言。谢谢大家，我等待您的意见；再一次，对不起我的英语^^。

---

编辑 1

这是最后一个版本的要点： https ://gist.github.com/rodrigo-o/1ef435887d3419be0272a5afe810f8c6

我正在尝试编写一个名为 %#% 的中缀函数，它将对两个向量 x 和 y 进行操作。操作 x%#%y 应该返回一个与 x 和 y 长度相同的向量。如果 x[i]>0 且 y[i]>0，则返回向量的元素 i 应为 x[i]+y[i]，如果 x[i]>0 且 y[i]<0 或 x 则为 0 [i]<0 and y[i]>0, and -x[i]-y[i] if x[i]<0 and y[i]<0. 如果向量具有不同的长度，则应返回错误。

它只是不断给我错误信息。

我正在研究 python 中缀运算符，我发现了这个：Python：定义我自己的运算符？

很久以前有人问过，但我找不到更新的东西。这似乎比我通常习惯做的更像是一种黑客行为。使用那个 hack，我改变了我的代码：

您可以看到有无代码的样子，我认为这样更具可读性。尽管如此，它还是一个 hack，而且我也不喜欢通过字符串访问枚举。我还在考虑：

我什至可以结合这两种方法并将中缀更改为：

有没有更好的方法在 Python 3 中做中缀的事情？值得做吗？

编辑：

一个评论可能暗示第一个区块并不比第二个好。我可以看到那里的逻辑。这包括我认为好的整个EIGHT = Value.EIGHT事情。（你能告诉我我来自编译语言吗？）

我是 Haskell 的新手，不知道哪个是惯用的 - 使用前缀形式或中缀形式的运算符。到目前为止，我注意到，名称中带有特殊字符的函数（例如<$>，<*>等>>=）以中缀形式使用，但名称由字母组成的函数以前缀形式使用。我的猜测是这是受到数学的启发，尽管我不确定。

我查找了Blow your mind，Category:Idioms并且还搜索了stackoverflow，但无济于事。

编辑

澄清一下，什么时候中缀函数和前缀运算符是惯用的？

如上代码所示，当我使用中缀函数时，无法正确推断类型，并产生编译错误，为什么 kotlin 不支持呢？

运算符和操作数之间可能有空格。运算符和操作数都必须作为列表中的字符串返回。操作数必须是浮点数。

例如。

输入：1+2 *3/(4+5)

输出：['1.00', '+', '2.00', '*'......]

我不确定出了什么问题。如果你教我，我将不胜感激。

while 检查堆栈是否为空以及运算符的优先级是否小于或等于预先存在的运算符之一。IsOperator 检查扫描的字符是否为运算符并返回 0 或 1 i 是遍历整个字符串的 for 循环的计数器。也是输入表达式的索引。j 是输出表达式的索引

例如当我输入：a+bc d 预期输出：ab+cd - 实际输出：abcd?