Ralf Hemmecke wrote:
> Is this to be expected?
>
> (1) -> Z := Integer
>
> (1) Integer
> Type:
> Type
> (2) -> f := (x: Z): Z->Z +-> (y:Z):Z +-> x+y
>
> (2) theMap(*1;anonymousFunction;8;frame1;internal)
> Type: (Integer -> (Integer ->
> Integer))
> (3) -> g := f 3
>
> (3) theMap(*1;anonymousFunction;9;frame1;internal)
> Type: (Integer ->
> Integer)
> (4) -> g 2
>
> >> System error:
> The variable #:G793 is unbound.
>
> I'd rather like it to work like in Aldor...
> ==========================================================
> aldor -gloop
> %1 >> #include "aldor"
> %2 >> #include "aldorinterp"
> %4 >> Z ==> Integer
> %5 >> f := (x: Z): Z->Z +-> (y:Z):Z +-> x+y
> () @ (x: AldorInteger) -> AldorInteger -> AldorInteger
> %7 >> import from Z
> %8 >> g := f 3
> () @ AldorInteger -> AldorInteger
> %9 >> g 2
> 5 @ AldorInteger
> ==========================================================
>
> Also this here looks weird. :-(
>
> (4) -> f := x +-> y +-> x+y
>
> (4) x +-> y +-> x + y
> Type:
> AnonymousFunction
> (5) -> g := f 2
>
> (5) y +-> G797 + y
> Type:
> AnonymousFunction
> (6) -> g 3
>
> (6) G797 + 3
>
IIRC you and Francois Maltey already reported problems with anonymous
functions -- I think this is the same problem.
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
