I am not certain how pertinent this is to the Leo community, and perhaps it 
was already linked and discussed here? In any case it recently surged on 
reddit and -- of course -- it caught my eye.

link with comments from reddit:  
https://www.reddit.com/r/programming/comments/5sgqrc/why_dont_we_have_a_general_purpose_tree_editor/?ref=share&ref_source=link
 
orig pcmonk article: 
http://pcmonk.me/2014/04/01/why-dont-we-have-a-general-purpose-tree-editor.html?

"
Why Don't We Have a General Purpose Tree Editor? 

Apr 1, 2014 • pcmonk

We have excellent tools to create and edit text (vim, emacs, sublime, 
etc.). We have pretty good tools to create and edit tabular data (excel, 
other spreadsheet software). We even have pretty good tools to create and 
edit diagrams, pictures, and video.

Why don’t we have good tools to create and edit trees and graphs?

Trees and graphs (in the sense of connections between data) are the 
underpinnings of structured data. Virtually all data can be described in 
terms of vertices with (possibly directed, labeled, and/or weighted) edges 
between them. That may not be the best way of presenting it, but it works. 
For a variety of different types of data, it is indeed best to think in 
terms of the connections between the data.

Most often this is manifested in trees because our data is often 
hierarchical in nature. Thus it makes sense to focus on trees. 
Additionally, many graph structures can be viewed best by analyzing them 
through the “cross-section” that a tree view provides. This is all fairly 
abstract, so I think before I go any further I should give an example.
An Example: Constructing Proofs... (follow link above)

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to