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

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

On Wed, Jun 20, 2012 at 7:04 PM, Lukasz Stafiniak <luk...@gm...> wrote:
> Here are the incremental steps as I see it right now:
>
> (1) update the term representation and the "mgu" to match the specs
> and propagate the changes (I'm here, stuck on some stupid type error
> in ParseArc),
>
> (2) "modernize" the parsing algorithm (this will be one of the two
> sources of speedup),
>
> (3) implement the "subtyping"-related algorithms like
> greatest-lower-bound, including building of well-formed sets of
> declarations,
>
> (4) remove the coding-decoding of types and adapt the grammar
> representation to be based around well-formed sets of declarations,
>
> (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).