smlnj - 如何使用 SML 模块中的中缀运算符？

Question

我有以下代码，我使用 SML/NJ：

signature STACK=
sig

    type 'a Stack

    val empty :'a Stack
    val isEmpty : 'a Stack -> bool

    val cons : 'a*'a Stack -> 'a Stack
    val head : 'a Stack ->'a
    val tail : 'a Stack -> 'a Stack
    val ++ : 'a Stack * 'a Stack -> 'a Stack
end
structure List : STACK = 
 struct
 infix 9 ++
type 'a Stack = 'a list

val empty = []
fun isEmpty s = null s

fun cons (x,s) = x::s
fun head s = hd s
fun tail s = tl s
fun xs ++ ys = if isEmpty xs then ys else cons(head xs, tail xs ++ ys)    

end

我想使用解释器中的 ++ 运算符，但是当我编写 s1 List.++ s2 where s1 和 s2 堆栈类型时，我得到的消息是运算符不是函数。

谢谢。

Answer 1

您已++在结构内部声明为中缀，并且该声明仅限于结构的范围（内部struct...end）。您可以在顶层将其声明为中缀，或将其用作前缀，但在 SML 中，中缀声明不是签名的一部分。

- List.++ ([1], [2,3]);
val it = [1,2,3] : int Stack

- infix 9 ++;
infix 9 ++
- open List;
...
- [1] ++ [2,3];
val it = [1,2,3] : int Stack

看看这里有没有一些有趣的技巧：http ://www.mlton.org/InfixingOperators