[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Axisp news
From: |
Stephen Wilson |
Subject: |
Re: [Axiom-developer] Axisp news |
Date: |
26 Jun 2007 19:35:31 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
Ralf Hemmecke <address@hidden> writes:
> > Im not going to try and defend the idea, as I feel I can work with
> > simpler notions. But 1 and + would be considered value identifiers.
>
> You might be right, but what I will certainly do in a near future is
> an implementation of a domain whose elements are combinatorial
> species. That domain will be a semiring, so I will use + and 1 to
> denote the "elements" Plus
> (http://www.risc.uni-linz.ac.at/people/hemmecke/AldorCombinat/combinatsu23.html#x37-550008.10)
> and EmptySetSpecies
> (http://www.risc.uni-linz.ac.at/people/hemmecke/AldorCombinat/combinatsu17.html#x31-380008.4.1).
> As you see these identifiers actually denote not only domains but
> functions that return domains. Would you like me not to use 1 just
> because my elements would be domains?
>
> Having the types as first class objects has the consequence that type
> can appear in places where you expect an "element".
Ok. There are certainly issues and am dropping the idea for now.
>
> > However, I need to explore the use tuples exclusively to lift types
> > otherwise hidden by sope into an enclosing context. I suspected that
> > type patterns would be generally useful but I like the simplicity of
> > Martins approach and will try to work with that.
>
> Martin was just demonstrating ordinary use of a dependent type.
Yes. Unfortuanately it is not so ordinary for Spad. I will see what
I can do.
>
> Ralf
Thanks,
Steve
- Re: [Axiom-developer] Axisp news, (continued)
- Re: [Axiom-developer] Axisp news, Stephen Wilson, 2007/06/26
- Re: [Axiom-developer] Axisp news, Martin Rubey, 2007/06/26
- Re: [Axiom-developer] Axisp news, Stephen Wilson, 2007/06/26
- Re: [Axiom-developer] combinat mailing list, Martin Rubey, 2007/06/26
- Re: [Axiom-developer] combinat mailing list, Stephen Wilson, 2007/06/26
- Re: [Axiom-developer] Axisp news, Ralf Hemmecke, 2007/06/26
- Re: [Axiom-developer] Axisp news, Stephen Wilson, 2007/06/26
- Re: [Axiom-developer] Axisp news, Ralf Hemmecke, 2007/06/26
- Re: [Axiom-developer] Axisp news, Stephen Wilson, 2007/06/26
- Re: [Axiom-developer] Axisp news, Ralf Hemmecke, 2007/06/26
- Re: [Axiom-developer] Axisp news,
Stephen Wilson <=
- Re: [Axiom-developer] Axisp news, Martin Rubey, 2007/06/27
- Re: [Axiom-developer] Axisp news, Stephen Wilson, 2007/06/27
- Re: [Axiom-developer] Axisp news, C Y, 2007/06/27
- Re: [Axiom-developer] Axisp news, Stephen Wilson, 2007/06/27
- Re: [Axiom-developer] Axisp news, C Y, 2007/06/27
- Re: [Axiom-developer] Axisp news, Stephen Wilson, 2007/06/27
- Re: [Axiom-developer] Axisp news, Stephen Wilson, 2007/06/28
- Re: [Axiom-developer] Axisp news, C Y, 2007/06/28
- Re: [Axiom-developer] Axisp news, Ralf Hemmecke, 2007/06/26