Solving a physics problem symbolically with C#

Bling [1] was quite similar to this. The idea is that rather than use and build values, you can use and build expressions instead. With those expressions, you can generate whatever code you really need (including GPU code), but you can also walk them to do things like symbolic differentiation (in the style of Conal Elliott) or compute an inverse.<p>A lot can be done with C#&#x27;s support for operator overloading and extensions methods to make this look prettier.<p><a href="http:&#x2F;&#x2F;bling.codeplex.com&#x2F;" rel="nofollow">http:&#x2F;&#x2F;bling.codeplex.com&#x2F;</a>

What&#x27;s the endgame here? Building a competitor to Mathematica&#x2F;Matlab based on MS technology? Why C# and not a scripting language? Is it supposed to be combined with a numerical toolbox, so that&#x27;s why a fast compiled language is used? I could see the value in that, the mismatch between Matlab and HPC is annoying, i.e. porting numerical code from Matlab to Fortran to make it fast, is not fun. Then again I&#x27;m not sure whether the C# runtime is efficient enough for HPC purposes, there isn&#x27;t really much research going that way AFAIK - could be an interesting topic since I&#x27;m not convinced that the current trifecta of C(++) and Fortran is the final answer.

I have been looking for something like this library or Sympy for Haskell but couldn&#x27;t find anything. Do you know one?