Future of Coding is an online community with a welcoming, cooperative, and revolutionary spirit. We are unified in the belief that the common practice of programming is tragically less humane than it could be.

Future of Coding

<https://johncarlosbaez.wordpress.com/2020/12/04/graph-transformation-theory-and-applications/|https://johncarlosbaez.wordpress.com/2020/12/04/graph-transformation-theory-and-applications/>

are you using graph transformation in any projects?

A bit, in managing the graph representation of the IaaS where I work - trying to discover morphs that leave assets stranded

what sort of graph representation do you use? Do you work off of a graph database?

The language I am  (sporadically) working on is term rewriting based. But I have considered trying to do jungle evaluation as a performance optimization. Not quite to the point where that matters yet though.

<https://www.cs.york.ac.uk/plasma/publications/pdf/HabelKreowskiPlump.88.pdf>

Onex is definitely based on tree rewriting, but could be graph rewriting depending on what is the formal difference between the two! Ask me a tree or graph rewriting discrimination question :blush:

guys feel free to add copious links in this chats. I had no idea what onex was, luckily it was google-able <http://object.network/index-non-tech.html>  :slightly_smiling_face:

also I'm not sure what's the language you are sporadically working on <@UK3LH8CF5> but I recognize you as "that guy from the meander talk" :stuck_out_tongue:

Glad to be recognized :slightly_smiling_face: Yeah, I’ve been working on a language that does the think I sketched at the end of that talk. If I ever get back to working on it, I should have some nice things there. Very close to having a time-traveling debugger in like 5-7 lines of userland code.

GReTA: "a platform for the international graph rewriting community, to promote recent developments and trends in the field, and to permit a regular networking and interaction between members of this community"

Okay, so where do I go if I'm newb and merely want to learn more about graph rewriting?

In particular I would like to know ways in which graph rewriting can be somehow superior to traditional, um, programs; the topic is only interesting to me insofar as it can provide a better way to accomplish something.

<@UD6EXQVM0> I have it on my backburner to study <https://en.wikipedia.org/wiki/GrGen>, "a tool optimized for the processing of <https://en.wikipedia.org/wiki/Graph_(data_structure)|graph structured> data. The core of the languages consists of <https://en.wikipedia.org/wiki/Modular|modular> <https://en.wikipedia.org/wiki/Graph_rewriting|graph rewrite rules>, which are built on <https://en.wikipedia.org/wiki/Declarative_programming|declarative> graph pattern matching and rewriting"

it is based on .NET so it should be up your alley :slightly_smiling_face:

ohhh apparently also has a Java version... cool :slightly_smiling_face: