Clarify the difference between Traversable and Traversable1
还没有人认领这个 Issue。
评估
- 难度
- 2/5
- 预计耗时
- 1-3 小时
- 新手友好度
- 45/100
- Issue 类型
- 文档
- 描述清晰度
- 基本清楚
- 活跃度
- 停滞
调研方向
Read the Traversable and Traversable1 definitions and their documentation in this repository, then compare the constraints described in the issue. Look for an example such as Const with a semigroup that is not a monoid or Map; done means the distinction and a convincing Apply-but-not-Applicative example are clearly documented.
由索引模型根据 Issue 内容生成。
描述
...which is that Traversable1 is a stronger requirement, since it only requires Apply constraints on the type variable f, as opposed to Applicative. I think we should also try to come up with a convincing example of this class. What interesting Apply instances are there which are not Applicative? https://blog.functorial.com/posts/2015-12-06-Counterexamples.html lists Const k where k is a semigroup but not a monoid, and also Map k.
- 主要语言
- PureScript
- 星标
- 51
- 派生
- 57
- 平均合并
- 3 天 14 分钟
- 30 天内合并 PR
- 1
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 有 Pull Request 模板
- 没有贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
purescript/purescript-foldable-traversable 的其他 Issue
-
type: breaking change
难度 5/5 一周以上 新手友好度 36/100
purescript/purescript-foldable-traversable#151 · 1 条评论 · 3 个 reaction ·
-
Add `count`未关闭status: accepted type: enhancement
难度 2/5 1-3 小时 新手友好度 35/100
purescript/purescript-foldable-traversable#140 · 7 条评论 ·
-
type: documentation
难度 2/5 1-3 小时 新手友好度 35/100
purescript/purescript-foldable-traversable#139 · 1 条评论 ·
-
`Data.Traversable` re-exports `sum` from `Data.Foldable` but not `product`可能已有人在做 @triallax 于 1959 天前认领。 未关闭type: enhancement
难度 2/5 1-3 小时 新手友好度 25/100
purescript/purescript-foldable-traversable#137 · 5 条评论 ·
-
foldrM未关闭type: enhancement
难度 3/5 1-2 天 新手友好度 35/100
purescript/purescript-foldable-traversable#136 · 3 条评论 ·
查看 purescript/purescript-foldable-traversable 的全部 Issue
相似的 Issue
-
bug
难度 1/5 1 小时以内 新手友好度 75/100
MetrolistGroup/Metrolist#4554 ·
维护者通常 1 天内回复
-
bug
难度 2/5 1-3 小时 新手友好度 82/100
维护者通常 1 天内回复
-
难度 1/5 1 小时以内 新手友好度 72/100
kubescape/node-agent#1099 ·
维护者通常 1 天内回复
-
15.0
难度 2/5 1-3 小时 新手友好度 62/100
-
[workshop-sim] Improve: Provide a concrete example and activity checks in agentic intro (step 5)未关闭feedback simulation workshop
难度 2/5 1-3 小时 新手友好度 68/100
githubnext/gh-aw-workshop#5715 ·
维护者通常 1 天内回复