2 points about language

[Marcin 'Qrczak' Kowalczyk]

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 ...).

How the compiler could take advantage of them?

-- 
 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK