は、私はこれらの機能があります。 fun IsDivisible(t, t2) = if t mod t2 > 0 then true else false;
fun IsDivisibleFilter(ts, t) = List.filter(fn x => IsDivisible(x, t)) ts;
fun IsDivisibleMap(ts, ts2) = map(fn x =>
MLに単純なフィルタ関数を記述しようとしています。その考え方は、関数only_capitalsが文字列のリストを取り、大文字で始まる文字列だけで文字列のリストを返すというものです。ここに私の実装ですが、私は理解していないタイプのエラーを取得しています:ここで fun only_capitals (strs : string list) =
let
fun isCapitaliz
Posix.Process.execpを使って実行したコマンドの出力をキャプチャしようとしています。 stackoverflowで見つかったCコードを移植し、1回の実行で出力をキャプチャできますが、2回目の実行では出力を取得できません。 は、ここに私の機能です: (* Runs a command c (command and argument list) using Posix.Process.
私はSMLで、次のコードで問題が生じています: fun inter s1 s2 =
let
fun inter' [] _ interSet = interSet
| inter' _ [] interSet = interSet
| inter' (x1::s1) (x2::s2) interSet =
if x1=x2 then
私は、次のqtreeデータ型があります。 datatype 'a qtree = Leaf of 'a
| Node of 'a branches
and 'a branches = Empty
| Branch of 'a qtree * 'a branches
例えば次のようにツリーが定義されています。ここでは val tr1 =
Node(Branch(Leaf(2),
SML関数マップは関数とリストを取り、その関数をリストの要素に適用します。 関数マップは、次の型を持ちますが、多形性関数と高次関数の両方です。 fun map f [] = [] | map f (x::xs) = (f x)::(map f xs)
val it = fn : (’a -> ’b) -> ’a list -> ’b list
2つの関数fとgと2要素タプルのリストを取る別の