Ralf,
Was you question concerning the specific syntax in your example?
In Axiom I would have written it this way:
(1) -> Z:=Integer
(1) Integer
Type: Type
(2) -> f(x:Z):Z->Z == (y:Z):Z +-> x+y
Function declaration f : Integer -> (Integer -> Integer) has been
added to workspace.
Type: Void
(3) -> g := f 2
Compiling function f with type Integer -> (Integer -> Integer)
(3) theMap(#<FUNCTION (LAMBDA (#:G720 |envArg|)) {BA3B6F5}>,303)
Type: (Integer -> Integer)
(4) -> g 3
(4) 5
Type: PositiveInteger
Regards,
Bill Page.
On Tue, Jun 15, 2010 at 11:38 AM, Ralf Hemmecke <r...@hemmecke.de> 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
> ==========================================================
> ...
--
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 fricas-de...@googlegroups.com.
To unsubscribe from this group, send email to
fricas-devel+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
