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
Ralf
--
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.
