[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Embedding Axiom (Hickey and fold/unfold)
From: |
Tim Daly |
Subject: |
[Axiom-developer] Embedding Axiom (Hickey and fold/unfold) |
Date: |
Fri, 20 Nov 2009 18:17:25 -0500 |
User-agent: |
Thunderbird 2.0.0.21 (Windows/20090302) |
There is an excellent talk by Rich Hickey about modelling time,
identity, values,
perception, state, memory, etc.
http://www.infoq.com/presentations/Are-We-There-Yet-Rich-Hickey
I think it adds quite a bit to the Embedded Axiom idea set. If we kept
immutable
intermediate states we could easily run a computation forward and backward.
We can combine that immutable idea with the fold/unfold idea from functional
programming. The idea is that you can do program proofs by expanding
a definition by unfolding and contracting a definition by folding.
http://www.cs.nott.ac.uk/~gmh/bib.html#semantics
The analog of this idea, at least as I perceive it, is the same as doing
operations on both sides of an equation. If we want to prove things
about a computation we could work backward from the result by
unfolding to some intermediate point, and forward from the input by
unfolding to the same intermediate point. If they match then there is
a fold/unfold path between them.
Tim
- [Axiom-developer] Embedding Axiom, Tim Daly, 2009/11/15
- Re: [Axiom-developer] Embedding Axiom, Martin Baker, 2009/11/16
- Re: [Axiom-developer] Embedding Axiom, Stephen Wilson, 2009/11/16
- Re: [Axiom-developer] Embedding Axiom, Tim Daly, 2009/11/17
- Re: [Axiom-developer] Embedding Axiom, M. Edward (Ed) Borasky, 2009/11/17
- Re: [Axiom-developer] Embedding Axiom, Bertfried Fauser, 2009/11/17
- Re: [Axiom-developer] Embedding Axiom, Tim Daly, 2009/11/17
- Message not available
- [Axiom-developer] Embedding Axiom (Hickey and fold/unfold),
Tim Daly <=
- Re: [Axiom-developer] Embedding Axiom (Hickey and fold/unfold), Martin Baker, 2009/11/21
- [Axiom-developer] Embedding Axiom (Hickey and fold/unfold) and rule based programming, Tim Daly, 2009/11/21
- [Axiom-developer] Embedding Axiom (Hickey and fold/unfold) and Reifying time, Tim Daly, 2009/11/21
- [Axiom-developer] Embedding Axiom (Hickey and fold/unfold) Folding and generalization, Tim Daly, 2009/11/21
- [Axiom-developer] Re: Embedding Axiom (Hickey and fold/unfold) Folding and generalization, Martin Baker, 2009/11/21
- [Axiom-developer] Re: Embedding Axiom (Hickey and fold/unfold) Folding and generalization, Tim Daly, 2009/11/21
- [Axiom-developer] Re: Embedding Axiom (Hickey and fold/unfold) Folding and generalization, Tim Daly, 2009/11/21
- [Axiom-developer] Embedding Axiom, Tim Daly, 2009/11/30