"Kind of like a declarative language; the hard stuff should be left to the compiler where it's possible. "
That's the holy grail of numerics. I don't think that's feasible if they want to cater to researchers who need to hand tune their algorithms.
We are quite far off from "do what I mean" semantics. Clojure's approach works for a grammar of very limited set of very well understood container operations.
If you want symbolic computations use e.g. Mathematica, Macsyma, etc.
That's the holy grail of numerics. I don't think that's feasible if they want to cater to researchers who need to hand tune their algorithms.
We are quite far off from "do what I mean" semantics. Clojure's approach works for a grammar of very limited set of very well understood container operations.
If you want symbolic computations use e.g. Mathematica, Macsyma, etc.