SML函数图采用函数和列表，并将函数应用于列表元素。 函数图具有以下类型，它既是多态函数又是高阶函数。 fun map f [] = [] | map f (x::xs) = (f x)::(map f xs)
val it = fn : (’a -> ’b) -> ’a list -> ’b list
收件另一功能MyMap中采用两个函数f和g和2-元件的元组的列表。 它在元组的第一个元素
的元组的列表搜索我是很新的SML/NJ和我种的丢失。我一直在努力实施是通过具有一定列出了它的元组的列表中去搜索功能，例如VAL X = [（5,2，[9,8,7]），（3,4，[ 6,5,0]），（11,12，[8,3,1]）]。我想我的函数的元组的第一个元素添加到新的名单，一旦有我的目标数量和元组的元素3号之间的匹配。我尝试了几个实现，但目前为止它们都没有正常工作。 type id = int*
我正在尝试编写一个简单的程序，用于计算语言Standard ML中x的17次幂。我应该用“帮助程序”来做： fun help (y:int) = y * y * y * y;
fun power17 (x:int) = help (help (help (help (x)))) * x;
这会导致溢出。有人可以告诉我为什么这样做吗？
我是新来的SML，并不完全理解我的问题，虽然我确定我有错。首先，这里是我测试的两个简短功能及其描述。 MakeInterval - 注意到的自然数- [R，（也可用于RP）和自然数吨，并返回的时间间隔[T-R，T + R]。 fun MakeInterval(r,rp,t) =
if r + rp < 0 then []
else t-r :: MakeInterval(r-1
我有以下功能： 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 => IsDivisib
我有下面的代码的一个问题，在SML： fun inter s1 s2 =
let
fun inter' [] _ interSet = interSet
| inter' _ [] interSet = interSet
| inter' (x1::s1) (x2::s2) interSet =
if x1=x2 then