AlgebraicJulia / AlgebraicJulia/ACSets.jl
Parsing ACSetSpecs from files with PEG.jl
- Lingua principale
- Julia
- Stelle
- 36
- Fork
- 11
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
A good test case for using PEG to understand how to connect DSLs specified with ADTs and surface syntax specified with PEG grammars would be to give a surface syntax for ADTs that are used for the acsetlang. This would let us read ACSets from files and extract an ADT of the acset language and then `construct` instances of the ACSets described in the language.
ADT definition and Usage:
https://github.com/AlgebraicJulia/ACSets.jl/blob/0c5b06649ea6678d2f5668559d8c933f971b62b6/src/ADTs.jl#L148
https://github.com/AlgebraicJulia/ACSets.jl/blob/0c5b06649ea6678d2f5668559d8c933f971b62b6/test/ADTs.jl#L70
Example PEG rules for UWDs:
https://github.com/AlgebraicJulia/SyntacticModels.jl/pull/11
Exit criteria:
1. read ACSets from files and extract an ADT of the acset language
2. `construct` instances of the ACSets described in the language
3. primitive rules like whitespace and parenthesis parsing is in a reusable module
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.