@sigfpe What do you think of the following grand scheme:
- Define Haskell-style typeclasses for mathematical structures - rings, fields, vector spaces; instance them on float, etc.
- Now instance them on an alegebraic datatype representing symbolic calculations.
-
-
Is that interesting? And is there a particular representation, such as geometric algebra, which makes such symbolic computations particularly nice and uniform?
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Ive mentioned several times that f# can do all this in compile time or runtime .. have you ever actually looked at it. Your basically thinking this is new its not at all look at the capabilities of f# lol
-
F# doesn't have hygienic macros; the closest thing is compiling code quotations using the compiler service but that's still far from what's outlined above. But you're right about a more general idea: AD with quotations...
- 2 more replies
New conversation -
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.