[nem-pl] Drugi rysunek już ze światłocieniem

[Kamil Skalski]

Wednesday 25 of February 2004 23:36, Michal Moskal wrote:
> No, tak ja to rozumiem. I to chyba będzie działać tak jak powinno.

Jest jeszcze kilka szczegółów implementacyjnych:
- w Haskellu revised zrezygnowali z definiowania zmiennych z czystych 
stringów, mają abstrakcyjną klasę Name udostępniającą funkcje
newName()
mkName (string)
getName(n) : string     getName(mkName(m)) == m
przynajmniej jeśli chodzi o te bezpieczne zmienne, bo niehigieniczne chyba 
zwykłym stringiem się tworzy.

U nas będzie to chyba trzeba zrobić jakoś podobnie, tym bardziej że 
utrudnienie jest takie, że E_letval ma w sobie Splicable_string, a E_ref ma 
string. Trzeba to jakoś zunifikować żeby dodać kolor i pamiętać o tym, że w 
E_ref powinna być zapisana interpretacja globalna w miejscu quotowania. Tą 
samą informację trzeba dodać do T_cons (o zmiennych typowych na razie nie 
myślę, może kiedyś).

Znajdowanie tego znaczenia w kontekście nadal jest do zrobienia (można użyć 
wstępnego kodu, który zrobiłem dla poprzedniego pomysłu na renaming)

No i potem matching, chyba dodamy te specialcasey, żeby matching po E_ref i 
takich różnych ignorował numerki.