Isn't this only true if you've got a formal system for converting the API to a d... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		pjc50 on Jan 29, 2019 \| parent \| context \| favorite \| on: Visual Programming Doesn’t Suck Isn'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 on Jan 29, 2019 [–]

Luckily 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. :)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact