これは私がubuntuとSML/NJを初めて使ったことです。そして、私は表現CM.make()使用する場合、この質問は私に発生しました：なぜ、どこで私が間違っている Standard ML of New Jersey v110.76 [built: Tue Oct 22 14:04:11 2013]
- CM.make() ;
[autoloading]
[library $smlnj/
構造体の外側で使用するために構造体a内の中置演算子を宣言したいと思います。しかし、私は、構造が開かれたときでさえ、構造の外側で認識されるような "インフィックス"を得ることはできません。 > structure A = struct infix 6 ++ fun a ++ b = a + b end;
structure A: sig val ++: int * int -> int end
に教会の番号を適用します。それには fun power m n f = n m f;
を、私は掛け算を参照してください。乗算は： fun times m n f = m (n f);
となり、私は間違っていることを知っています。 問題は、どの機能が教会番号を別のものに適用するのか理解できないことです。 たとえば、この式では何が生成されますか？ (fn x => fn y => x (x y
SMLでは、1つのcase文で複数のパターンを使用できますか？それは"*" or "/"ある場合 例えば、I 4つの算術演算子は、文字列で表現"+", "-", "*", "/"、私はそれの"PLUS MINUS"を印刷したいたが"+" or "-"と"MULT DIV"あります。 TL; DR：どこかで、以下のようなケースを少なくすることができますか？ case str of
"+"