我的问题涉及将树转换为其表示时的明显笨拙,这需要显式引用节点名称以插入更多节点/边。具体地说,我递归地构建了一棵玫瑰树(目前是containers的Data.Tree.Tree a ),并希望将其转换为Gr a (),以便针对它调用各种函数。为此,可以首先遍历树(使用supply monad或FGL的状态monad类型之一,如NodeMapM),并使用标识符标记每个节点:import或者,有没有我
我正在用F#实现一个异常monad。raise' "divide by zero" end (* => raise' "divide by zero" *)type exception_ = string
type 'a exception_monad = Raise of exception_ | Return of '