forum-msg-id-124673-edit
Original date:2014-06-21 19:41:13 Edited by: gimlet Subject: Re: Discuss changing the behaviour of append()
Derek,
What I was getting at is this (and we agree this is not about a processing error).
An argument could be made that:
append(1,{}) -- {1,{}} prepend(1,{}) -- {{},1}
ought to be identical as {} is empty. (We assume the return value is a sequence).
i.e. it should not matter if you prepend or append an empty sequence you have added nothing.
Mathmatically this means: {} is the identify under append. which would mean:
{} append A == A append {} -- == equivalence
I certainly could understand people reading things this way.
I know it doesn't fit with the mechanics of Eu.
|
Not Categorized, Please Help
|

