AlgebraicJulia / AlgebraicJulia/Catlab.jl
Multiple inheritance of signatures
未關閉
enhancement
GATs
- 主要語言
- Julia
- 星號
- 724
- 分支
- 73
- PR 合併指標
- 30 天內沒有已合併 PR
描述
Multiple inheritance of signatures would be useful in many situations, e.g. to say that dagger compact category inherits from both dagger category and compact closed category. As usual in these matters, we must handle diamond inheritance, precedence, etc.
貢獻指南
評估
這個 Issue 還沒有評估資料。