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

[William Sit]

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
interpreter? 

William
-- 
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
USA..........................http://www.mmrc.iss.ac.cn/~ascm/ascm03