补全：推相加的类型

👁️ 2 人浏览 💬 0 人评论 ❤️ 添加收藏

（每道题开头都有同一段：表达式用嵌套元组表示——("num",5) 是整数、("str","x") 字符串、("bool",True) 布尔、("var","x") 变量、("add",e1,e2) 相加、("eq",e1,e2) 相等、("if",c,e1,e2) 条件。type_of(e, env) 推它的类型，不合法交回 "ERR"。）

补全 type_of 里 add 的分支：两边同类型、且是 int 或 str 才给那个类型，否则 "ERR"。

提交你的答案

请登录后提交答案。

去登录

← 第一个错在哪一条补全：一次查全、报错误数 →

更多题目

代码编辑器

语言： Ctrl + Enter 运行

def type_of(e, env):
    """给表达式推类型：num→int、str→str、bool→bool、var 查 env、运算查操作数。不合法交回 "ERR"。"""
    k = e[0]
    if k == "num":
        return "int"
    if k == "str":
        return "str"
    if k == "bool":
        return "bool"
    if k == "var":
        return env.get(e[1], "ERR")
    if k == "add":                       # 同类型、且是 int 或 str 才能加
        a = type_of(e[1], env)
        b = type_of(e[2], env)
        # TODO: 两边同类型且是 int/str 才返回该类型，否则 "ERR"
        return "ERR"
    if k == "eq":                        # 同类型才能比，结果是 bool
        a = type_of(e[1], env)
        b = type_of(e[2], env)
        if a != "ERR" and a == b:
            return "bool"
        return "ERR"
    if k == "if":                        # 条件必 bool，两分支同类型
        c = type_of(e[1], env)
        a = type_of(e[2], env)
        b = type_of(e[3], env)
        if c == "bool" and a == b and a != "ERR":
            return a
        return "ERR"
    return "ERR"

print(type_of(("add", ("num", 1), ("num", 2)), {}) + "/" + type_of(("add", ("str", "a"), ("str", "b")), {}) + "/" + type_of(("add", ("num", 1), ("str", "x")), {}))

本次输入：

输出：

👩‍🏫

💬 题目评论

补全：推相加的类型

更多题目

全部评论