我試圖破譯的這種類型選擇部分的含義。從我能收集到的數據來看，它乘以int,(int -> int)，再乘以int。我只是困惑，什麼(int -> int)手段。任何幫助將非常感激。 val callcc = SMLofNJ.Cont.callcc
val throw = SMLofNJ.Cont.throw
type 'a cont = 'a SMLofNJ.Cont.cont
type
我正在寫一個遞歸ML函數，它接受一個字符串和一個索引值，並將該字符串分割給定索引。該函數應該返回一個包含兩個字符串的列表。 據我所知，我需要兩個基本案例來檢查是否已達到索引，另一個檢查字符串是否超出字符。我被困在如何將字符分配給不同的字符串。請注意，我使用了一個輔助函數來清除最初的調用，這樣在每次函數調用時都不需要輸入爆炸。 fun spliatHelp(S, num) =
if nul
我工作的任務從一個函數中提取值，並給出了以下功能： fun label (lb,ub) =
let val s = callcc (fn k =>let fun branch c = if (c < ub)
then (pushCP (k,branch,c+1);c)
else ub
in (pushCP(k,
據我所知，在SML模塊中，爲防止每個類型被不透明簽名歸屬隱藏，可以在簽名中指定具體類型。 我試圖做一個仿函數來做符號表，隱藏表類型但是讓條目類型透明。但是每當我做不透明歸屬時，我都無法訪問入口類型。下面是我的簽名和函子： signature ST_ENTRY = sig
type entry
val name : entry -> string
end
signature
無論如何要組合這兩個函數，它們需要一個列表並返回最高和最低元素。想要同時輸出。歡呼聲 fun max[] = raise Empty
max[x] = x
max(x::xs) =
let
val y = max xs
in
if x > y then x else y
end;
fun min[] = raise Empt