代码优化

Question

我必须编写一个函数"to_string“(接收此数据类型)

datatype prop = Atom of string | Not of prop | And of prop*prop | Or of prop*prop;

并返回一个字符串。

示例

show (Atom(“周六”)，Atom(“夜晚”))=“(星期六和夜晚)”

我的功能是工作，但我有两个问题。

解释器Warning: match nonexhaustive

• I告诉我，

1. 认为我可以为所有类型(不是和或)编写带有局部变量函数的函数，并避免重复代码，但我不知道如何实现。

这是我的密码

datatype prop = Atom of string | Not of prop | And of prop*prop | Or of prop*prop;

fun show(Atom(alpha)) = alpha
    | show(Not(Atom(alpha))) = "(- "^alpha^" )"

    | show(Or(Atom(alpha),Atom(beta)))  = "( "^alpha^" | "^beta^" )"
    | show(Not(Or(Atom(alpha),Atom(beta)))) = "(- ( "^alpha^" | "^beta^" ))"
    | show(Or(Not(Atom(alpha)),Atom(beta)))  = "( (-"^alpha^") | "^beta^" )"
    | show(Or(Atom(alpha),Not(Atom(beta))))  = "( "^alpha^" | (-"^beta^") )"
    | show(Or(Not(Atom(alpha)),Not(Atom(beta))))  = "( (-"^alpha^") | (-"^beta^") )"


    | show(And(Atom(alpha),Atom(beta))) = "( "^alpha^" & "^beta^" )"
    | show(Not(And(Atom(alpha),Atom(beta)))) = "(- ( "^alpha^" & "^beta^" ))"
    | show(And(Not(Atom(alpha)),Atom(beta))) = "( (-"^alpha^") & "^beta^" )"
    | show(And(Atom(alpha),Not(Atom(beta)))) = "( "^alpha^" & (-"^beta^") )"
    | show(And(Not(Atom(alpha)),Not(Atom(beta))))  = "( (-"^alpha^") & (-"^beta^") )";

非常感谢你的帮助。

Answer 1

一般规则如下:如果您有一个递归数据类型，您应该使用一个递归函数来转换它。

您的匹配表达式并不详尽，因为有许多变体您无法处理--即和(和(Atom(“a”)，Atom("b"))，Atom("c"))。

您应该用递归调用来重写函数--即替换Not(Atom(alpha))，匹配Not(expr)：

show(Not(expr)) = "(- " ^ show(expr) ^ " )"

我相信您可以解决其余的问题(您将有两个递归调用和/或)。