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

Search



Quick Links

User menu

Not signed in.

Misc Menu