Thread by @mattecapu

If you didn't get it, the bottom line (or at least *my* bottom line) is semicolon-y coding is obsolete.

We should write code with string diagrams!

It's not about *visual programming*, it's about making concurrency trivial to see and reason about.

https://twitter.com/mattecapu/status/1463085556812984324

Also, don't get me wrong, I don't want everything to be a string you plug around. I want string diagrams to be a way to organize code in a file, not as the only programming facility. That's hell.

In particular, 'stringy' coding should be added *on top* of semicolony coding, like writing code in separate files became a standard programming facility/practice.

I want to write code in interacting, separate columns.

Adding to this: string diagrams for Para/Copara/Optics can make explicit side-effects like resource usage, global state mutation, exceptions management, and possibly non-determinism as well.
So I argue they would also improve semicolony programming.