> Chyba czegoś nie rozumiem.
> Skoro symbol ":=" określa miejsce podziału na część lewo i prawostronną,
> to w czym problem?

Chciałbym potraktować := jako operator. Do tej pory interpretowałem
wyrażenie warunkowo - jeśli występował w nim ":=", interpreter działał w
innym trybie. Teraz chciałbym to uogólnić (być może wprowadzając więcej
operatorów wyższego poziomu), więc podczas przetwarzania od lewej do
prawej nie jestem w stanie stwierdzić, co jest lewo-, a co - prawostronne.

Wstępny pomysł jest taki, by wprowadzić dodatkowy poziom abstrakcji -
skoro := jest operatorem działającym na wyrażeniach, myślę o
zaprojektowaniu obliczeń na całych wyrażeniach. Wówczas wejściowe
wyrażenie kompilowane byłoby do meta-ONP, zbudowanej z wyrażeń i
operatorów wyrażeniowych. Po przetworzeniu meta-ONP interpreter
oczekiwałby na stosie wyrażeń pojedynczego wyrażenia będącego wynikiem
meta-obliczeń, które z kolei zostałoby obliczone już normalnie.

Coś pokroju:

f(x,y):=x+y przetworzone byłoby na:

wyrażenie(f(x,y)) wyrażenie(x+y) operator-wyrażeniowy(:=)

To obliczone zostałoby do

wyrażenie(<Informacja o efekcie działania operatora :=>)

Z kolei

2+2*2 przetworzone byłoby na:

wyrażenie(2+2*2)

Jest to stała z punktu widzenia obliczeń na wyrażeniach, więc nie trzeba
już nic robić, następnie obliczone byłoby samo wyrażenie do:

wyrażenie(6)

Trochę głośno myślę, ale być może jest to sensowne rozwiązanie?
Wielokrotne obliczanie wyrażeń straciłoby trochę na wydajności (najpierw
musiałoby zostać obliczone meta-wyrażenie), ale byłby to czynnik liniowy -
jeśli nie stały, więc nie jest też aż tak źle.

Jest w miarę jasne to, co napisałem?

> Pozdrawiam,
> - Bastek -

Pozdrawiam -- Spook.

--
Używam klienta poczty Opera Mail: http://www.opera.com/mail/