Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Structured graphs #7

Merged
merged 384 commits into from Jun 19, 2016
Merged

Structured graphs #7

merged 384 commits into from Jun 19, 2016

Conversation

robrix
Copy link
Owner

@robrix robrix commented Mar 27, 2016 •
edited

This PR adds structured graphs, as described in Functional Programming with Structured Graphs by Bruno C. d. S. Oliveira & William R. Cook.

Note that the implementation herein is additionally implemented over higher-order functors (of kind (* -> *) -> * -> *) rather than the paper’s standard functors (of kind * -> *).

The goal is to replace our use of hcata and HFix with HGraph and its various folds, making computation of recursive properties more tractable.

This will presumably also necessitate new API for introducing recursive parsers within the PHOAS context of the HGraph.

  • Smart constructors can’t be used within mu.
  • This PR introduces a bunch of experimental chaff which should be 🔥’d before merge.
  • Define deriv over structured graph parsers.
  • Migrate all the HFix parser stuff to structured graph parsers.
  • 🔥 Data.Higher.Fix.
  • 🔥 Data.Memo.
  • The parseNull call in deriv is unsound.
  • Add a smart constructor to make Parser a wrapping forall v. Combinator v a.

robrix added 30 commits April 3, 2016 11:09
@robrix
Rename the functor type variables.
59c08ce
@robrix
Always name the functor type variable f.
feae71e 
I find this more mnemonic than h.
@robrix
Add a mu combinator.
5bdb341
@robrix
Rename the Var constructor to Var' for the time being.
cc1e444
@robrix
(Temporarily) export a whole bunch of stuff.
190c365
@robrix
Test that size2 terminates on simple terminal grammars.
711e022
@robrix
Test that size2 terminates on simple cyclic grammars.
e11df8b
@robrix
Test that size2 terminates on interesting grammars.
b4acda9
@robrix
Add a test that show terminates on cyclic graphs.
3c8c68b
@robrix
Correct the commented-out (pending) test of parseNull termination.
7b11932
@robrix
Add a pending test of parseNull2 termination over lam2.
2364a09
@robrix
Export hgfold and gfold.
73ad208
@robrix
Pretty sure parseNull2 should also converge after a single pass.
03eb956
@robrix
Define compaction over Parser2 as a graph reduction.
237a2b0
@robrix
Use a natural transformation for the type of hfold.
dc998b1
@robrix
Use a natural transformation for the type of hsfold.
4f30803
@robrix
Implement the various folds over HRec instead of HGraph.
19f4ac2
@robrix
parseNull2 doesn’t use the Eq constraint.
6eddf7f
@robrix
Add a modifyGraph function which applies higher-order natural transfo…
fa87d03 
…rmations within a graph.
@robrix
Revert "Implement the various folds over HRec instead of HGraph."
8e16e20 
This reverts commit 19f4ac2.
@robrix
parseNull2 operates over Parser2.
e5ec1ac
@robrix
Move the instances over HGraph to the bottom.
715aa9a
@robrix
Extract hmap.
fb1738e
@robrix
Export hmap.
99380c1
@robrix
Generalize modifyGraph’s type.
52c017d
@robrix
Implement transform using modifyGraph.
b6e5cd0
@robrix
Define a higher-order cross-mapping function over HRec.
51d2246
@robrix
Revert "Define a higher-order cross-mapping function over HRec."
f60cd63 
This reverts commit 51d2246.
@robrix
Define hpjoin with a case expression.
3215b1c
@robrix
Var is monadic return.
4a63f03
@robrix
Copy link
Owner Author

robrix commented Jun 19, 2016

Well, it works.

Now to clean it up I guess.

@robrix robrix merged commit 01e6cd0 into master Jun 19, 2016
@robrix robrix deleted the structured-graphs branch June 19, 2016 20:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@robrix