[Top][All Lists]

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

Re: [Axiom-developer]Re: categorical design, aldor, and the type system

From: William Sit
Subject: Re: [Axiom-developer]Re: categorical design, aldor, and the type system
Date: Sat, 11 Oct 2003 03:44:40 -0400

Dylan Thurston wrote:
> On Thu, Oct 09, 2003 at 10:20:13AM -0400, Tim Daly wrote:
> > re: type system
> >
> > We need to examine what exists in depth and decide what the best
> > algorithms are for type conversion. I figure we can do this by
> > understanding the existing type lattice, codifying the adhoc
> > algorithms current in use, and developing a "coercion theory"
> > that shows what the algorithms should do. That way we aren't
> > just "patching" the problem. We're developing a theory that needs
> > to exist. To this end I've started collecting the raw data of
> > the existing type signatures so we can do the first step.
> Hmm?  Surely the algorithm used for doing automatic type coercions is
> independent of the existing heirarchy?

The hyperdoc system can list all the domains, categories and packages that
contain signatures of a particular exported function. Is there any coordination
between hyperdoc and the interpreter? It seems that the hyperdoc maintains some
database of domains, etc and is this different from the one used by the

William Sit
Department of Mathematics..............Email: address@hidden
City College of New York..........................Tel: 212-650-5179
Convent Ave at West 138th Street..................Fax: 212-862-0004
New York, NY 10031.....Asian Symposium on Computer Mathematics 2003

reply via email to

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