补全:判子类型
(每道题开头都有同一段: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)。
(每道题开头都有同一段: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)。
全部评论