5 ms·
the diagrams are just different ways to draw expressions, you are actually editing text, it's really the same data. one diagram implies many different but behav
by wires 8y ago
the diagrams are just different ways to draw expressions, you are actually editing text, it's really the same data. one diagram implies many different but behaviourally equivalent expressions, so the diagram is actually the more efficient way to encode the thing
this is ignoring all the UX issues of course. but we are quite confident eventually everyone will use such diagrams as at least sidekicks in their text-based-code