[exprla-devel] RE: [XPL] Hello, and a few comments.

[reid_spencer <ras...@re...>]

--- In xpl-dev@y..., "Richard Anthony Hein" <935551@i...> wrote:
I will reply to your message after I get some sleep but I had to say, 
I
figure that it would be amazing to use MathML as the markup that XSLT 
uses
to build a function in XPL!  Any mathematical expression that a
mathematician can write in MathML should be transformable into XPL!  
MathML
expressions could be used to supply data to those functions (think
integration, calculus formulas building algorithms to model a 
system ...
graphics, sound, simulation, math research (use combinations that are 
auto
generated to try to find the missing pieces of an existing 
solution) ...
wow!  Physics markup too!
We could use the tags as function names themselves (that can be 
replaced
with user-friendly names in a XSLT transformation (ie... math in 
MathML,
Physics in Physics markup (whatever it's called, and if it 
exists ...),
graphics in SVG and so on.

I see it as allowing any expression in data form could be used to 
program
other data, or even itself!  For instance, a MathML expression could 
be
compiled and create another instance of itself that it instantiates 
during
execution, then it compliles the new instance in turn, which executes,
compiles, creates, and so on forever ... uh oh....  Well, I hope it's 
not
that easy ....  Security is something that is a top priority.

Algorithms in XPL should be able to be transformed into MathML.

We may EVEN be able to use XML used to describe chip operation and 
circuit
design to map out MathML equations used to control the chip build
expressions and functions in XPL, use XSLT to generate others layers 
that
describe components then objects that provide ever increasing ability 
to
simplify to a RAD type environment which calls a lot of pre-built
components, and lets you remove XSLT layers to get down to the CPU 
level if
you had to build your code from the ground up!

If MathML expressions and physics markup can be leveraged this 
way ... wow
... it blows my mind!  I think that parser/compiler (which would it 
be?)
could take these as the language to describe numerical datatypes, 
which can
change with MathML if a new type of number is invented (think 
imaginary
number ... it is a relatively new type) or we need more bits.  It 
could
operate on MathML and be operated on by upper layers, and used to 
build
upper layers.  That is, we take the tags in MathML and build a 
function that
integrates x/y and name the function using the MathML that built it.  
That's
self describing software.  So someone can search for MathML 
expressions and
find the function that evaluates it!  When we call the function we 
supply
the MathML expression and tell it which XML document and nodeset 
(using
XPointer) to use as input parameters, mapping them to the values in 
the
MathML expression.  Since math and physics use variables in 
calculations
like x=2y^6, we could use the URI to evaluate an expression that uses 
ns:x =
2y^6 (expr. would be MathML transformed into XPL function which gets 
y as
input from an XML document or other node of MathML) as the x input 
for the
expression RT= 2*(x-1)^7.  This is just an example ... I don't even 
know
what RT means here.

Richard A. Hein


I wanted to get this out, and tried to explain it as best I could at 
this
point (6:00am!).  I am beat and am starting to think I might wake up
tomorrow and this will have been one of those dream ideas that only 
makes
sense while you are sleeping!
--- End forwarded message ---