[nem-pl] Re: cos o rozszerzeniach (us-ascii i takie tam)

[Michal Moskal]

On Mon, Nov 03, 2003 at 08:38:56PM +0100, Lukasz Kaiser wrote:
> Hmm, twoje HO wyglada bardzo sensownie :).

;)

> > Teraz zauważamy, że jednyny fragment kodu, który chodzi po wyrażeniach
> > (więc i patternach) jest w tyexpr.n. Więc tam po prostu:
> 
> Zauwazamy to troche za duzo powiedziane: ty zauwazasz bo ja bym nigdy tego
> nie zauwazyl. Ale to bardzo milo ze nam to zauwazyles :).

Oj, w ncc.html są opisane fazy kompilacji. 1, 2 oraz 3 nie mają z
wyrażeniami nic wspólnego, a 4 je przekształca. Ale dobra, ja pewnie to
trochę lepiej widzę :-)

> O ile sie nie myle, to w duzym stopniu rozwiazuje to problem typowania,
> bo nie trzeba przeksztalcac nowego typu do starego PT, tylko to sie robi
> przy typowaniu.

Ja myślałem, żeby przekształcać PT rozszerzenia w PT i dopiero potem to
typować. Tak powinno być prościej.

> > Fajnie by to było napisać jako rozszerzenie :-) Tylko trzeba to najpierw
> > napisać, żeby móc pisać rozszerzenia.
> 
> Moment, co jako rozszerzenie ? Samo quote_expr, czy ty_expr tez ?
> Bo ty_expr to ja nie wiem jak, on w koncu typuje.

quote_expr. Chyba powinno się dać, ale głowy bym nie dał.

> > Aha, podobna funkcja byłaby dla patternów, klas, typów i czego tam
> > jeszcze.
> 
> Moze najpierw zrobic ja dla samych expr i sprobowac czy dziala i co z
> tego mozna dostac, a potem popsuc reszte ?

OK. Tylko, że dla klas i typów -- to wszystko są wyrażenia, tylko
pracują na innych typach. Więc w sumie to wszystko jedno.

> > Mówię z sensem?
> 
> Chyba tak, ale ja przestaje byc pewny czy rozumiem. 

Oj, ja też nie do końca rozumiem ;)

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith : GCS {C,UL}++++$ a? !tv
: When in doubt, use brute force. -- Ken Thompson : {E-,w}-- {b++,e}>+++ h