rms@WHEATIES.AI.MIT.EDU (Richard Stallman) (10/08/88)
would it be possible to eliminate the cast operator on the front of the list and infer the type of a homegenous bracketed list from its elements (or maybe just the first element)? It might be possible, but I think it is a very bad idea. I will not introduce expressions whose meanings depend on the context.