3 ms·
Proving diagrams commute with abstract nonsense is not going to help the average programmer. At most it's a formalism that will help people who design programme
by krapht 7y ago
Proving diagrams commute with abstract nonsense is not going to help the average programmer. At most it's a formalism that will help people who design programmer's tools reason about their system, much like relational algebra for databases or Hoare logic for imperative programming, or UML.
- crimsonalucard 7y agoRelational algebra is more or less isomorphic to SQL if you're doing SQL you're doing relational algebra. Hoar logic can prove your programs 100% correct. This is useful for anyone who wants to write a program that's bug free. UML is more of a visualization tool then a theoretical tool. >Proving diagrams commute with abstract nonsense is not going to help the average programmer. What in the world is a proving diagram, and what is abstract nonsense? Please be more clear with your explanations. I am not talking about diagrams and trying to say they commute with anything.