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

问题描述

假设我有一个操作员

infixl 9 @@

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

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

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

但这有点违背了它是中缀的意义。什么是惯用语？

解决方法

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

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

a.f {tail=[]} b

,

你可以使用

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

有点长但保持语法