[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] RE: Types as values,and Re: Static versusDynamical

From: Martin Rubey
Subject: Re: [Axiom-developer] RE: Types as values,and Re: Static versusDynamicallytyped(was:Philosophy... )
Date: Wed, 28 Sep 2005 09:59:49 +0200

William Sit writes:
 > Martin Rubey wrote:

 > > On the other hand, given a Field to ask whether it is a QuotientField is a
 > > question that I consider quite important.
 > > 
 > > However, the desirable query
 > > 
 > >   if R has QuotientField S
 > > 
 > > thus defining S is, I think, quite difficult to implement sensibly. 
 > Not only that, such a use is limited because it requires the user to supply S
 > already.

I meant the above in the sense of pattern matching -- whereas the following
sentence was meant to indicate that this is is not the way to go.
 > If it is possible to inquire about the parameters [...] of F [...]

Yes, maybe you remember that I was asking for exactly this a while ago.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]