Re: [Toss-devel] New Speagram: plan of action

[Lukasz S. <luk...@gm...>]

I've finished the first half of step (5), but it turns out that using
subtyping for "parsing stuff" like associativity is not trivial,
requires some work that deserves a step number of its own. So the
future steps below get a +1. I'm not committing step 5 because
internet stopped working on my desktop computer and svn says "generic
failure" on my laptop :-( totally inexplicable.

On Mon, Jun 25, 2012 at 5:17 PM, Lukasz Stafiniak <luk...@gm...> wrote:
> On Wed, Jun 20, 2012 at 7:04 PM, Lukasz Stafiniak <luk...@gm...> wrote:
>>
>> (5) switch the parser to use subtyping (replace "mgu" with "glb") and
>> start moving the built-in and core grammars and the standard library
>> to use subtyping.
>
> Looking a bit into the future:
>
> (6) specify explicit sharing and come up with a representation,
>
> (7) adapt terms to sharing and propagate the changes -- modify algorithms,
>
> (8) implement the translation of terms to hypergraphs (structures / models),
>
> (9) implement alternative rewriting based on ISA-matching (perhaps
> permanently keeping both strategies for rewriting).