Better callable subtyping for optional parameters
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
- 难度
- 5/5
- 预计耗时
- 一周以上
- 新手友好度
- 38/100
- Issue 类型
- 缺陷
- 描述清晰度
- 基本清楚
- 活跃度
- 停滞
- 技术栈
- javascript, ocaml
- 领域
- compilers
调研方向
从链接的 ReScript sandbox 开始，在 v12.1 版本中复现 Int.toString 和 Option.map 的示例。调查编译器对必需参数和可选参数的可调用子类型行为。完成标准是：Int.toString 可以直接传递给 Option.map 而无需包装器，同时现有的必需参数行为保持正确。
由索引模型根据 Issue 内容生成。
描述
If a function has N required params & additional optional params, it cannot be used in a place that expects a function with N params.
To give a concrete example: Int.toString cannot be directly used with Option.map because of the optional radix argument, so it has to be wrapped in another function.
Tested in sandbox v12.1
- 主要语言
- OCaml
- 星标
- 7.5k
- 派生
- 485
- 平均合并
- 1 天 2 小时
- 30 天内合并 PR
- 55
环境准备
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
rescript-lang/rescript 的其他 Issue
-
难度 5/5 一周以上 新手友好度 35/100
rescript-lang/rescript#8659 · 2 条评论 · 2 个 reaction ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 35/100
rescript-lang/rescript#8647 ·
维护者通常 1 天内回复
-
Untagged variants: boolean literal/payload overlap is rejected while string, int, float and bigint overlap is allowed可能已有人在做 @cknitt 于 20 天前认领。 未关闭
rescript-lang/rescript#8632 · 已指派 1 人 ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 28/100
rescript-lang/rescript#8624 ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 30/100
rescript-lang/rescript#8596 · 2 条评论 ·
维护者通常 1 天内回复
查看 rescript-lang/rescript 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 88/100
sveltejs/acorn-typescript#150 ·
-
area:stdlib found-by:code-review kind:silent-wrong
难度 2/5 1-3 小时 新手友好度 88/100
InauguralSystems/EigenScript#1338 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 84/100
-
难度 2/5 1-3 小时 新手友好度 84/100
microsoft/TypeScript#64453 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 78/100