implicit - 如何为中缀运算符指定隐式参数？

Question

假设我有一个操作员

infixl 9 @@

(@@) : Tensor [S n] t -> Tensor (S n :: tail) t -> Tensor tail t

（其中Tensor需要一个Vect和一个类型，但这在这里并不重要）。如果我想指定tail，我知道我可以a @@ b通过变成像这样@@的函数来添加(@@)

(@@) {tail=[]} a b

但这在某种程度上违背了它被中缀的意义。什么是惯用语？

Answer 1

您可以尝试使用后缀投影运算符：

(.f) : Tensor [S n] t -> Tensor (S n :: tail) t -> Tensor tail t

a.f {tail=[]} b

Answer 2

您可以使用

let (@@) = (@@) {tail=[]} in a @@ b

这有点长，但保留了语法