SML：通過直接打印字符串替換連續字符

Question

我有一個正在正確工作的函數... 但是，不幸的是在顯示它之前構造了一個很大的字符串。

我想顯示每個字符串，而不是直接concatening人，但我不知道該怎麼辦呢？

下面是函數：

fun getBlocked w = 
    case BlockingMgr.listBlockedSuccessors w 
    of nil => "" 
    | ws => 
     concat (
      List.map (
       fn (r, w') => ( 
        " v "^r^
        " w "^Int.toString (Node.getId w)^
        " w"^Int.toString (Node.getId w')^"\n" 
      ) ws 
     ) 

這個功能是連接所有在w'可能再：

fun af w = print(getBlocked(w)) 

隨着af我能夠顯示一個節點。然後在最後的代碼我打電話

app af (Nodestore.listNodes()) 

和我的功能app將調用af我listNodes()的所有Node。

所以，正如我所說的，這段代碼正在工作，但是當列表開始變得龐大時，它不再可用了......我的猜測是concat絕對不是一個好主意，所以我想替換它並能夠直接顯示每個w的每個w'後繼者。但不幸的是，我在SML相當新手，我不知道該怎麼做...提前

感謝您的幫助:)

問候。

Answer 1

這是一個有點不清楚你真正想要的，但是從我個人理解，下面應該解決您的問題：

fun displayBlocked w = 
    let 
    fun renderW (r, w') = 
     " v "^r^
     " w "^Int.toString (Node.getId w)^
     " w"^Int.toString (Node.getId w')^"\n" 
    in 
    case BlockingMgr.listBlockedSuccessors w 
    of nil =>() 
    | ws => List.app (fn w => print (renderW w)) ws 
    end 

隨着顯示計數：

fun displayBlocked w = 
    let 
    fun renderW (r, w') = 
     " v "^r^
     " w "^Int.toString (Node.getId w)^
     " w"^Int.toString (Node.getId w')^"\n" 

    fun renderAndInc (w, count) = 
     (
     print (renderW w); 
     count + 1 
    ) 
    in 
    case BlockingMgr.listBlockedSuccessors w 
    of nil => 0 
    | ws => List.foldl renderAndInc 0 ws 
    end