>
> 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)
--
Waldek Hebisch
hebi...@math.uni.wroc.pl
------------------------------------------------------------------------------
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
