[Haskell-cafe] Unifcation and matching in Abelian groups

[Bulat Ziganshin]

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 at gmail.com