I must say that I'm impressed with this.
There is a technology called d3.js that looks especially interesting:
https://github.com/mbostock/d3/wiki/Gallery and I have spent a little
time looking at it. It is data driven so Axiom can feed it data just
like it does for the current graphics. A websocket connection would
allow two-way interaction with Axiom.
Leaving aside technicalities I think that
http://www.math.wm.edu/~leemis/chart/UDR/UDR.html
is an illustration of an effective way to organize some mathematical
structures/relationships. So far as I can see there is no reason calls
(or code) couldn't be automatically generated from an illustration like
this. The background explanations (obtained by clicking) could be
expanded or linked to code. IMHO it's not complete but an excellent
start for people trying to model statistical data. For instance draging
and dropping particular distributions into an "analyser" for
comparisons, etc..., is a logical extension.
Of course the missing ingredient is an abstraction direction allowing
focusing on particular properties; say different ranges, data types, and
so forth. But those ideas are rendered obvious once the "style" is visible.
I'd like to develop a similar diagram for Axiom categories listing all of
the axioms that underpin each category. The links would go to the section
of the book for that category. I already have an SVG graph of the categories,
domains, and packages on the Axiom website.
Tim