On Wed, Apr 23, 2014 at 10:30 PM, Ralf Hemmecke <[email protected]> wrote: >> So that I can do 'h := plus2(double2,double2);h 4; h 3.5' without >> specify any type. > > May I ask, why this is so important to you? I mean "not specifying types". > > Ralf
Manipulate functions (aka high order functions) is a powerful way to think and do math, using functors to manipulate functions is a popular style in 'Structure and Interpretation of Mechanics' and 'Functional Differential Geometry' and the software these two books use: scmutils, http://groups.csail.mit.edu/mac/users/gjs/6946/refman.txt For example, D(compose(f,g)) == compose(D(f),g) * D(g) [without mention independent variable 'x'] which "*" is _*(f,g) == x+->f(x)*g(x) And such high order functors should be generic, which take generic function as parameters and can return generic function as return value. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
