AlgebraicJulia / AlgebraicJulia/ACSets.jl
Generic types in `InterTypes`
Ouverte
enhancement
- Langage dominant
- Julia
- Étoiles
- 36
- Forks
- 11
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
It would be good to be able to define generic types in `InterTypes`. This may particularly be necessary for updating ADTs.jl (#90).
For example, one may want something like
```
@sum Args{T} begin
Value(v::T)
Kwarg(k::Symbol, v::Value{T})
end
```
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Évaluation
Cette issue n'a pas encore été évaluée.