4 ms·
Additionally, any visual diagram can be compactly represented in textual form. It's called "good APIs".
by pacala 8y ago
Additionally, any visual diagram can be compactly represented in textual form. It's called "good APIs".
- pjc50 8y agoIsn't this only true if you've got a formal system for converting the API to a diagram? I mentioned "pic" elsewhere, what were you thinking of?
- Nigredo 8y agoLuckily we do. Our diagrams are sound and complete for free symmetric monoidal categories, meaning that every diagram can be converted to a morphism in a category. :)