Re: [Toss-devel] Matching and Rewriting of Hierarchical Terms with Sharing

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

On Sat, Jun 16, 2012 at 4:07 AM, Lukasz Stafiniak <luk...@gm...> wrote:
> New ''last-row'' number as Node.
> Let last-row 0 be Node.
> Let last-row n be R last-row n-1.
> New ''stack-row'' Node as Node.
> Let stack-row x@R y be z@C x; z@R stack-row y.
> Let stack-row x be C x.
> New ''board'' number number as Node.
> Let board 0 n be last-row n.
> Let board m n be stack-row board m-1 n.

Fajne, nie? Zanim się zabiorę powoli pomagać Ci z programowaniem, chcę
ogarnąć jeszcze tematy: programowanie / typy wyższego (lub
przynajmniej drugiego) rzędu, bo w początkowym sformułowaniu tego
zagadnienia "typowo typowego" zupełnie nie ma (a trzeba m.in.
wprowadzić kontrawariancję).

Myślałem że wyświetlanie termów hierarchicznych to też sprawa do
przemyślenia, jak upchać całą informację wyinferowaną przy parsowaniu
-- czy próbować pomijać część rzeczy które parsowanie potrafi
odtworzyć, potem pomyślałem że najlepiej wyświetlać całą informację,
termy wyżej w hierarchii na prawo od "as", np. "x@Grid as R y (as
v@Node) and C z (as v@Node)" ale i to już trochę masakra... Może
wbudować w termy pole czy dany podterm został w 100% wyinferowany z
gramatyki, wtedy powyższe da "x@Grid as R y and C z", to jest myśl.
BTW "x@" pochodzi z termu Var, to mógłby też być bezpośrednio "Grid as
R y and C z".

OK, dwa tematy.

Pozdrawiam.