[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Type coercicion (was: Re: [Axiom-developer] Re: Axiom interactive input
From: |
David MENTRE |
Subject: |
Type coercicion (was: Re: [Axiom-developer] Re: Axiom interactive input syntax) |
Date: |
Wed, 10 Dec 2003 22:19:27 +0100 |
User-agent: |
Gnus/5.1002 (Gnus v5.10.2) Emacs/21.2 (gnu/linux) |
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/