Side-effect free containers for E

[Tyler Close]

> However, we can have our familiarity
> cake and eat it too
> by having the syntax
>
>      container [key]= newValue
>
> expand to
>
>      container := container with(key, newValue)

This is fine for associative containers but not so good for
non-associative containers. Specifically, what does adding an element
to a set, or a list, look like?

This is going to temporarily mix your discussion guidelines, but if
"+" was "with" then:

	container += key

expands to

	container := container + key

expands to

	container := container with(key)

For associative containers:

	container += (key, value)

expands to

	container := container + (key, value)

expands to

	container := container with(key, value)

I think this is a clean and accurate syntax.

Tyler


_________________________________________________________
Do You Yahoo!?
Get your free @yahoo.com address at http://mail.yahoo.com