自定义范围运算符

斯威夫特 4.1，Xcode 9.3

我正在寻找两个自定义范围运算符：<..，<.<

1.<..

• 该运算符将与..<范围运算符相反。

我的尝试：

错误：

注意：<..在自定义运算符 ( ) 本身的实际声明中，我还遇到了另外 22 个编译时错误

理想用法：

2.<.<

• 我想对我以前的自定义范围运算符进行某种组合。<..和..<

我的尝试：

错误：

注意：<.<在自定义运算符 ( ) 本身的实际声明中，我还遇到了另外 22 个编译时错误

理想用法：

我怎样才能做到这一点？

另外，Range我应该返回什么类型的？

最后，是否有任何先决条件需要添加到自定义范围运算符本身以确保安全？

更新

我决定创建两个运算符（1x 后缀，1x 中缀）来实现以下目标之一：

然后我可以这样做：

警告：我不能在数字和运算符之间有空格（即1 <.< 10）

我有以下功能 g

我以以下三种方式使用 g ，但不太了解它们各自的作用。

我赋予的功能是否以foldl中缀方式应用？

例子

所以更一般地说：

应用为：

我知道它是递归的，但我可以这样想吗？

我想在 Scala中得到 aseq的总和。Integer

在我看来，我想在整数上加一个加号，如下所示：

这是无效的。

相反，我必须这样做：

（我相信你可以把它加糖 - 但我的意思是原来的加号不能作为一个函数工作，错误消息并没有说明原因。）

我的问题是：为什么我不能在 Scala 中对整数序列进行归约（+）？

虽然类本身不符合协议，但上面的代码可以编译。为什么？！

这是 Xcode9.4

似乎 Xcode 在这里非常聪明，就好像协议见证表没有在类级别检查，而是在全局级别检查。

在 GoLang 中，可以将函数用作参数，例如在这个简单的示例中，根据小于或等于 ( <=) 或大于或等于运算符 ( >=)比较两个数字

有没有办法让中缀运算符而不是函数作为函数参数？

如：

还是我最好的选择只是像第一个示例中那样为运算符编写包装器？

此外，如果上述情况可行，是否可以将中缀运算符参数与中缀语法一起使用？如

如何为中缀计算器定义方案函数？

例如，当我输入(infix '(2 + 3))它应该评估 5

如果我输入(infix '(7 - 3)它应该评估 4

我需要创建一个运算符-，给定两个字符串返回第一个字符串减去第二个字符串的所有字符。例如："abcd"-"ad"="bc"。

在编写随机代码时，我注意到如果我为-运算符分配一个新函数，我就不能再将它与整数一起使用。例如：

我想这样做，以便我可以-在整数和字符串之间使用运算符，这可能在 ocaml 中还是我必须创建一个自定义运算符？

似乎有许多符号可以充当中缀运算符；例如

• 整数：(+), (-), (*), (/),mod
• 浮动：(+.), (-.), (*.),(/.)
• 比较：(=), (<>), (<), (<=), (>),(>=)
• 函数：(|>), (<<),(>>)
• 单子：(>>=),(>>|)
• 列表：(::),(@)
• 杂项：(^),,,(^/)(^:)

是什么决定了函数是否可以充当中缀运算符？

先说一点上下文...

我写了一个中缀函数，它本质上取代了成语

x[[length(x) +1]] <- y

..或者只是x <- append(x, y)用于向量。

这里是：

它可以按预期与向量或列表一起使用，但其当前形式的限制是我不能将值附加到列表中的项目，例如：

到目前为止，我还没有找到如何做到这一点。我尝试了类似以下的方法，但没有效果：

assign("b", append(a$b, 3), envir = as.environment(a))

有任何想法吗？