如何解决如何为中缀运算符指定隐式参数?
假设我有一个操作员
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
有点长但保持语法
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。