补全:判子类型

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

(每道题开头都有同一段:PARENT 是类型的父子关系(int→num、float→num、num→any、str→any、bool→any);is_sub(a, b) 判 a 是不是 b 的子类型(自反);ok_arg(param, arg) 判实参能不能传给形参。)

补全 is_sub(a, b):从 a 沿 PARENT 往上找,找到 b 就是子类型(自反:a<:a)。

提交你的答案
请登录后提交答案。
去登录
代码编辑器
Ctrl + Enter 运行
本次输入:
输出:

                        
👩‍🏫
AI
💬 题目评论

全部评论