Waldek Hebisch <hebi...@math.uni.wroc.pl> writes:
| >
| > http://www.open-axiom.org/1.2
| >
| > > 2.1.1 Interpreter
| >
| > [...]
| >
| > > The interpreter now accepts instantiation of a domain or category
| > > constructor with a homogeneous variable length argument list, when
| > > the constructor is declared to accept a Tuple.
| >
| > that sounds quite interesting. Is this one step towards making
| > constructors like functions, and making functions have type
| > Tuple Type -> Type
| > (or some such) as in aldor?
| >
| > > It is now possible to restrict the type of a mapping-valued
| > > expression, e.g.
| > > _*$Float@((NonNegativeInteger,Float) -> Float)
| > > now selects the multiplication operation default supplied by the
| > > category AbelianGroup instead of producing an error.
| >
| > This sounds wonderful! I want to have this in FriCAS, too, I
| > think...
|
| Hmm, I am not sure what the above means, but AFAICS the following
| worked for quite a long time:
|
| )abbrev package TTT Test
| Test(): with
| foo1 : Float -> Float
| foo2 : Float -> Float
| == add
| ff := _*$Float@((NonNegativeInteger,Float) -> Float)
| foo1(x) == ff(5, x)
| foo2(x) == (_*$Float@((NonNegativeInteger,Float) -> Float))(5, x)
That is library code. The description is about what the interpreter
does, as suggested by the heading '2.1.1 Interpreter'.
That addition has been in OpenAxiom since version 1.2.0, so I would
not be surprised if FriCAS picked it.
(1) -> _*$Float@((NonNegativeInteger,Float) -> Float)
(1) theMap(ABELGRP-;*;Nni2S;3,303)
Type: ((NonNegativeInteger,Float) -> Float)
-- Gaby
------------------------------------------------------------------------------
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
