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
-
1.3 documentation
難度 1/5 1-3 小時 新手友好度 78/100
-
documentation Needs Human Review
難度 2/5 1-3 小時 新手友好度 72/100
NQCD/NQCDynamics.jl#526 ·
-
bug
難度 1/5 1 小時以內 新手友好度 75/100
MetrolistGroup/Metrolist#4554 ·
維護者通常 1 天內回覆
-
intake mcp-intake needs-human-review priority:high type:bug
難度 2/5 1-3 小時 新手友好度 66/100
Ikalus1988/MisakaNet#4903 · 2 則留言 ·
維護者通常 1 天內回覆
-
bug
難度 2/5 1-3 小時 新手友好度 82/100
維護者通常 1 天內回覆