Question

有一个常见的问题是F＃does not natively support中缀式使用Haskell中可用的函数：

isInfixOf :: Eq a => [a] -> [a] -> Bool
isInfixOf "bar" "foobarbaz"
"bar" `isInfixOf` "foobarbaz"

可以找到最着名的F＃解决方案here：

let isInfixOf (what:string) (where:string) =
    where.IndexOf(what, StringComparison.OrdinalIgnoreCase) >= 0
let found = "bar" |>isInfixOf<| "foobarbaz"

此外，使用本机运算符优先级很容易改进它：

let ($) = (|>)
let (&) = (<|)
let found = "bar" $isInfixOf& "foobarbaz"

还有XML-ish </style/>，描述为here。

我想找到一个更好的解决方案，具有以下标准：

不破坏常用运算符的单字符运算符（或一对）;
它应该是相同的字符，同样严重的重音（背引号）字符在Haskell中服务;

它不应该破坏关联性（支持链接）：

let found = "barZZZ" |>truncateAt<| 3 |>isInfixOf<| "foobarbaz"

可选地，它应该支持使用元组的函数：

let isInfixOf (what:string, where:string) = ...
// it will not work with |> and <|

可选地，它应该优雅地处理函数/ 3：

val f: 'a -> 'b -> 'c -> 'd = ...
let curried = a |>f<| b c
// this wouldn't compile as the compiler would attempt to apply b(c) first

P.S。各种编码技巧也受到欢迎，因为我相信好的（当由F＃Dev团队检查时）可以成为未来语言的一部分。

Answer 1

我同意在某些情况下将函数转换为Haskell中的中缀运算符的能力很好。但是，我不确定这个功能是否适合通常的F＃编程风格，因为使用成员可以实现相同的功能。

例如，让我们看一下使用truncateAt和isInfixOf的代码段：

let found = "barZZZ" |>truncateAt<| 3 |>isInfixOf<| "foobarbaz"

如果我们将TruncateAt和IsInfixOf定义为string的扩展方法，那么您可以写：

let found = "barrZZZ".TruncateAt(3).IsInfixOf("foobarbaz")

这个版本更短，我个人认为它更具可读性（特别是对于具有.NET编程背景的人而不是Haskell背景）。当你点击.时，你也会得到智能感知，这是一个很好的奖励。当然，您必须将这些操作定义为扩展方法，因此您需要更仔细地考虑库的设计。

为完整起见，扩展方法定义如下：

type System.String with
  member what.IsInfixOf(where:string) = 
    where.IndexOf(what, StringComparison.OrdinalIgnoreCase) >= 0 
  member x.TruncateAt(n) = 
    x.Substring(0, n)

Answer 2

let (|<) f x = f x
let f = sprintf "%s%s"
let x = "A" |> f |< "B" |> f |< "C" //"ABC"

F＃中的Haskell样式到中缀运算符

2 个答案: