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