> Unfortunately, visual languages tend to be quite poor at abstraction It's not as simple as that. Visual languages tend to be very good at portraying a fairly

> Unfortunately, visual languages tend to be quite poor at abstraction It's not as simple as that. Visual languages tend to be very good at portraying a fairly large subset of abstractions - loosely speaking, many and perhaps most abstractions that you'd want to model using category theory are almost inherently "visual" - and just not very helpful at portraying others. I think the answer is a tighter integration of textual and visual "modes" on the same codebase, rather than just using visual for everything no matter what.