Re: [Axiom-developer] RE: Types as values,and Re: Static versusDynamicallytyped(was:Philosophy... )

[Martin Rubey]

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.

Martin