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
