2 points about language

[Laszlo Nemeth]

> Thu, 23 Aug 2001 15:02:28 +0400, S.D.Mechveliani <mechvel@math.botik.ru> pisze:
> 
> > I wrote in the BAL paper that meaningful standard algebraic 
> > categories (classes) may, in principle, help the compiler to 
> > optimize programs using the properties related to the category
> > names (associativity, commutativity ...).

Marcin Kowalczyk pisze:

> How the compiler could take advantage of them?

Rewriting (x++y)++z to x++(y++z) so one, for example, doesn't need all
the kludge in the Pretty printer?

--Laszlo


============================================================================
Laszlo Nemeth                                        Tel:    +82-42-869-8788
ROPAS, Dept. of CS, KAIST                            Fax:    +82-42-869-8780
373-1 Kusong-dong Yusong-gu                 E-mail: laszlo@ropas.kaist.ac.kr
Daejeon 305-701, Korea                 URL: http://ropas.kaist.ac.kr/~laszlo
============================================================================