different user language (was RE: stacking two matrices)



On Sat, Oct 27, 2007 at 10:11:05PM -0700, Richard Fateman wrote:
> Few languages allow for uninterpreted symbols, e.g.  y:= x^2+1 where
> x is "unknown".

I remember modifying SICP's metacircular evaluator to instantiate
unfound atoms, but I suppose that's beside the point.

> it doesn't look like infix mathematics.

Would everyone grew up on an HP-15c, and experienced the plaisir
nonpareil of Reverse Polish.