Re[2]: [Haskell-cafe] Unifcation and matching in Abelian groups

Hello John, Tuesday, August 25, 2009, 4:51:16 AM, you wrote:

In those day, procedures tended to large and deeply nested because procedure invocation was expensive.

interesting story. in 80s, virtual method call was expensive. now lazy evaluation is expensive. what's next? :) -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com