2 points about language

Laszlo Nemeth [email protected]
Fri, 24 Aug 2001 09:38:49 +0900 (KST)


> Thu, 23 Aug 2001 15:02:28 +0400, S.D.Mechveliani <[email protected]> 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: [email protected]
Daejeon 305-701, Korea                 URL: http://ropas.kaist.ac.kr/~laszlo
============================================================================