5

I have the following to code and I use 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

I want to use the ++ operator from the interpreter but when I write s1 List.++ s2 where s1 and s2 stack types I get the message that operator is not a function.

Thanks.

4

1 に答える 1

5

構造内で infix として宣言++しましたが、その宣言は構造のスコープ (内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

于 2013-01-02T21:01:21.653 に答える