打印到標準輸出在sml

Question

datatype term = node of string*term list 
     | vnode of string 

我有一個類型term的值。我如何在sml打印到標準輸出。

Answer 1

您需要先從term中創建一個字符串，然後使用print來打印該字符串。要將term轉換爲字符串，可以定義如下的函數：

fun termToString (node (str, terms)) = 
    "node("^str^", "^termListToString terms^")" 
    | termToString (vnode str) = 
    "vnode("^str^")" 
and termListToString terms = 
    "["^String.concatWith ", " (map termToString terms)^"]"