Type coercicion (was: Re: [Axiom-developer] Re: Axiom interactive input syntax)

[David MENTRE]

Hello,

nic <address@hidden> writes:

> I did some work on automatic type changing in the interpreter for my
> thesis under James Davenport...

>From what I have understood from the introduction and conclusion, you
have an algorithm to transform any "type"[1] in any other mathematically
compatible "type" (provided the type system follows some mathematical
guidelines). This makes me ask the following naïve and meta question:
how would you use such an algorithm? From user behavior (tim-user uses
variable x with another operator implying a new type context) or with
explicit user information (calls to coerce)? Within a type inference
algorithm? 

Yours,
david

[1] Sorry to probably not use the proper term.
-- 
David MENTRE <address@hidden> -- http://www.nongnu.org/axiom/