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 ============================================================================