Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| > In OpenAxiom, one can use @ to restrict the set of mappings, e.g.
| > [EMAIL PROTECTED](INT,NNI,INT)
| > selects the * as default-supplied by ABELGRP.
|
| Good to know.
|
| > In fact, I don't see what would be wrong with
| > [EMAIL PROTECTED](INT,INT,INT)
| > or
| > [EMAIL PROTECTED](String,String,String)
|
| Nothing, but your intention with
|
| >>> forall(T: Type) .
| >>> Associative(Modemap(T,T,T): op): Category == with nil
|
| somehow was to remove the need to say anything about T. Now in Modemap
| you mention it even 3 times.
Only in the *ambiguity* cases.
It would be interesting to know whether with the example you gave earlier
MyInt: with {
+: (%, %) -> %;
+: (String, String) -> String;
} == add {
-- implement something here
}
one runs into ambiguity in the alternative proposals. If not, why?
If yes, how is it resolved?
| Well, I agree that is a rather pathological case, but somehow I still
| fail to see the big advantage.
Fair enough. I suspect I should stop `fighting' strawmen and spend
the little time I have on getting some job done.
|
| I assume you want that
|
| forall(T: Type)
|
| is implicitly assumed by the compiler. Did I understand that correctly?
No.
| Is there a similar simple thing for
|
| forall(T: Ring)
Yep, in (...) is where you declare parameters whose values shoule be
implicitly deduced.
| ...
|
| ? Currently, I only see that you intend to remove the need for
| signature declarations in a package called "forall". Could you
| elaborate?
I do not think I intend what you wrote above. If I do, then it is
news to me.
-- Gaby
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
