On Mon, Feb 9, 2015 at 7:37 PM, Matt Rice <[email protected]> wrote:
> On Mon, Feb 9, 2015 at 3:03 PM, Jonathan S. Shapiro <[email protected]> wrote:
>> On Mon, Feb 9, 2015 at 9:56 AM, Keean Schupke <[email protected]> wrote:
>>>
>>> Terminology: In the list comprehension the result and the input
>>> collections are all lists.
>>
>>
>> So what kind of comprehension is the example I gave:
>>
>> [ c | c <- s : String ]
>>
>>
>> because it seems to me that the input here is a String and the output is a
>> list of characters. Is this a string comprehension, a list comprehension, or
>> some third thing?
>
> It seems to me that it'd be a list comprehension,

well... I seem to have come to the conclusion its not list
comprehension either...
as list comprehension assumes that there is an 'a -> 'a transform
where 'a is list,
and this is an 'a -> 'b transform so calling it 'a comprehension or 'b
comprehension leaves one of the important details out... calling it 'a
-> 'b comprehension is kind of weird, as 'comprehension' seems to be
there to express the dual usage of the 'a...

so some third thing..
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to