- Now you have a simple version of Mathematica in Haskell or whatever. But what if... - Instead of symbolic calculation on an algebraic datatype, do it on syntax terms in a language with a hygienic macro system, so you can e.g. compute a function’s derivative at compile time.
-
-
Show this thread
-
Is that interesting? And is there a particular representation, such as geometric algebra, which makes such symbolic computations particularly nice and uniform?
Show this thread
End of conversation
New conversation -
-
-
The README on <https://github.com/ekmett/ad > shows the use of simple-reflect for the latter.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Have you come across Axiom? It attempts (buy doesn't necessarily succeed) at strongly typed algebra http://www.axiom-developer.org
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.