News for hackers. Stuff that matters.
Re:Penrose: Create diagrams by typing mathematical notation ... by Koshkin on Sunday May 10, 2020 @08:29PM (#23137646)
It is an interesting approach to drawing - it’s almost like what you do is, you make the tool understand the meaning of what you want to draw, and the tool is expected to do an optimal job at getting it done.
Re:Penrose: Create diagrams by typing mathematical notation ... by _ZeD_ on Monday May 11, 2020 @12:34AM (#23138943)
Look at graphviz for the best tool you can find about
Re:Penrose: Create diagrams by typing mathematical notation ... by JadeNB on Sunday May 10, 2020 @09:27PM (#23138008)
For more on declarative drawing, you might be interested in wrapping your mind around Eukleides: https://ctan.org/tex-archive/support/eukleides .
Re:Penrose: Create diagrams by typing mathematical notation ... by nurettin on Monday May 11, 2020 @01:46AM (#23139224)
What you describe sounds very similar to the definition of a "domain specific language".