Over the past ~25 years there has been a concerted effort to use the tools of category theory (a branch of mathematics) to develop unambiguous diagrammatic lang

Over the past ~25 years there has been a concerted effort to use the tools of category theory (a branch of mathematics) to develop unambiguous diagrammatic languages, and this paper is a good example of the results of that effort. I’m personally quite intrigued by where this could go, but there’s still a lot of work to do before it revolutionizes the way code is written. If you want to go down some rabbit holes, check out the homepage of the Mathematically Structured Programming group at the University of Strathclyde: https://msp.cis.strath.ac.uk/index.html https://msp.cis.strath.ac.uk/index.html