On Fri, Feb 21, 2014 at 2:02 PM, Kevin Wright <[email protected]>
wrote:


>> That's something I definitely want for tuples but probably not for lists,
>> although there's definitely a bit of room for interpretation, here (the
>> regular interpretation for a list expects the ordering to be preserved but
>> if you look at List from the monad perspective, a list is just an
>> enumeration of multiple outcomes, and the ordering is meaningless).
>>
>
> Not so!  A list has a very definite concept of maintaining its sequence;
> it's Set that doesn't.
>
 Yes for values, more disputable for types.

Basically, it's not quite clear to me what the type of List(1, "a") is: is
it a sequence of an integer followed by a string (and in that order
exclusively) or is it a list of anything as long as it's an integer or a
string?
-- 
Cédric

-- 
You received this message because you are subscribed to the Google Groups "Java 
Posse" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/javaposse.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to