补全：判子类型
（每道题开头都有同一段：PARENT 是类型的父子关系（int→num、float→num、num→any、str→any、bool→any）；is_sub(a, b) 判 a 是不是 b 的子类型（自反）；ok_arg(param, ar
补全：实参能不能传
（每道题开头都有同一段：PARENT 是类型的父子关系（int→num、float→num、num→any、str→any、bool→any）；is_sub(a, b) 判 a 是不是 b 的子类型（自反）；ok_arg(param, ar
⚠️ 自己写：方向别写反
（每道题开头都有同一段：PARENT 是类型的父子关系（int→num、float→num、num→any、str→any、bool→any）；is_sub(a, b) 判 a 是不是 b 的子类型（自反）；ok_arg(param, ar
函数类型是什么
给函数一个「类型」，写清的是【0】。
为什么给函数标类型
给函数标上类型，最大的好处是【0】。
拼函数类型、取返回
（每道题开头都有同一段：函数类型写作 "(int,str)->bool"；fun_type(params, ret) 拼函数类型、ret_of(ft) 取返回类型、call_type(ft, args) 按实参类型
按类型调用一次
（每道题开头都有同一段：函数类型写作 "(int,str)->bool"；fun_type(params, ret) 拼函数类型、ret_of(ft) 取返回类型、call_type(ft, args) 按实参类型
补全：拼函数类型
（每道题开头都有同一段：函数类型写作 "(int,str)->bool"；fun_type(params, ret) 拼函数类型、ret_of(ft) 取返回类型、call_type(ft, args) 按实参类型
补全：取返回类型
（每道题开头都有同一段：函数类型写作 "(int,str)->bool"；fun_type(params, ret) 拼函数类型、ret_of(ft) 取返回类型、call_type(ft, args) 按实参类型
补全：按类型调用
（每道题开头都有同一段：函数类型写作 "(int,str)->bool"；fun_type(params, ret) 拼函数类型、ret_of(ft) 取返回类型、call_type(ft, args) 按实参类型