我創建的有理數（INT * INT）的結構及我的功能之一是： fun diff ((n, d), (n', d')) = let val (top, bot) = sum ((n, d), (~n', d'))
in
(top/gcd(top, bot), bot/gcd(top, bot))
end
GCD給了我最
我得到什麼似乎是一個優先發布中調用一個函數SML，替補： fun substitute v new (typevar q) = ...
，我來自另一個函數調用這個： fun new_type_vars (typevar v) non_gens =
substitute v new_var() (typevar v)
但我得到一個錯誤：
C:/sml/type_
我正在嘗試使用SML比較目錄中的文件。使用TextIO庫相當容易，但我需要在比特級別比較文件。那就是二進制比較。我正在使用類似於此的功能： fun listDir (s) = let
fun loop (ds) = (case OS.FileSys.readDir (ds)
of "" => [] before OS.FileSys.closeDir (ds)
|
例如，而不是 - op =;
val it = fn : ''a * ''a -> bool
我寧願有 - op =;
val it = fn : ''a -> ''a -> bool
用於 val x = getX()
val l = getList()
val l' = if List.exists ((op =) x) l then l else x::l
很顯然，我可以