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