[pr_fancycorn]

What you are getting at here is the fact that Mathematica is a symbolic language through-and-through.

In my webpage here: http://www.oftenpaper.net/sierpinski.htm I try to give passing mentions to how the Mathematica language and its infrastructure make various things easier.

As a programming language geek, I haven't found a language more powerful than Mathematica, and that's before considering the infrastructure it comes with.

[sixbrx]

I've always found the repeated application of rules to simplify patterns in expressions until the expression stops changing to be pretty powerful when just playing around, especially with small problems. However, in my experience in bioinformatics, that flexible approach is so slow in the face of actual data as to be totally useless for use on real problems in my line of work.

I think an option to use a faster, less powerful, linear pattern matching algorithm more like in ML/Haskell would help a lot in this regard.