[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)


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


[1] Sorry to probably not use the proper term.
David MENTRE <address@hidden> --

reply via email to

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