> Just found out that, this can be done (in a way): > h y == x+-> f x + g x > f x == x + x > g x == x * x > tmp := h "waste argument" > tmp 4 > tmp 3.5 > > This can work, but 'h' uses free variable reference of 'f' and 'g', > instead of reference to its arguments. Is this the root of this problem?
That is certainly not what you want. And actually it is just an overcomplication of h == x+-> f x + g x f x == x + x g x == x * x h 4 h 3.5 But now there is no higher order function anymore. Anyway, my suggestion is that you go and program your stuff in SPAD and with types and then call it from the interpreter. Don't overburden the interpreter. Why do you use FriCAS if you don't like the types? Ralf -- 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.
