我得到了這兩個問題對於這個功能： fun funion([(x:int list,y:bool list)]) =
let
fun join(nil,final) = final |
join(x::xs,final) = join(xs,union(x,final)) |
join(_,final) = final
in
join([(x,y)],(nil,nil))
我想實現另一組的子集。但是，我無法使用以下示例{{{}，1}}和{{1，{}}}進行工作我嘗試了所有我能夠做到的事情。我的主要目標是設定平等，在這種情況下返回true。首先，我想讓我的子集工作，然後實現設置的等式。 datatype expression = SET of expression list | TUPLE of expression list | INT of int
fun m
這是一個問題： 我們表示使用以下類型的多項式： datatype exp = Const of int | x | Add of exp * exp | Mult of exp * exp | Power of exp * int
例如，表達Add (Add (Mult (Const 3, Power (x, 2)), Mult (Const 6, x)), Const 1) 表示多項式3x2
我想寫一個函數，只提取字符串中的整數。 我所有的字符串的格式詞其中Ç是單個字符和我是一個整數。我希望能夠從我的字符串中刪除C。 我想是這樣的： fun transformKripke x =
if size x > 1
then String.substring (x, 1, size x)
else x
但不幸的是，我得到一個錯誤，如unhandled exce
例如下列代碼 fun swap (pr : int*bool) =
(#2 pr, #1 pr)
fun div_mod (x : int, y : int) =
(x div y, x mod y)
上述代碼已服用對（元組）作爲參數在所述第一交換功能，並且在功能div_mod採取兩個整數作爲參數..所以我的疑問是，ML如何知道我打電話給對（Tuple），而不是用兩個參數？ 請幫幫我。
我已經從「PolyML5.6-64bit.msi」安裝程序安裝了Poly/ML;我可以通過在開始菜單中單擊來啓動REPL;但我不知道如何從它訪問任何庫？我嘗試過做use "something"，但它會導致這樣的錯誤如下： > use "Math";
Exception-
Io
{cause = SysErr ("No such file or directory", SOME