AlgebraicJulia / AlgebraicJulia/ACSets.jl

Parsing ACSetSpecs from files with PEG.jl

Aperta
#150 0 commenti 0 reazioni 1 assegnatario Rivendicata da @jpfairbanks Vedi su GitHub
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.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.