Leon A. on Fri, 18 Sep 2015 20:34:08 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: Set definition syntax


Personally I don't think that this notation is really useful. [x | ... ] denotes a set of "x" such that ..., whereas [x <- v | ...] would mean something like a set of assignments. Besides that, [x | x <-v, P(x)] mimics the Haskell implementation of the set builder notation.

El 18/09/2015 a las 16:23, Josef Eschgfaeller escribió:
Could one not allow also the syntax

     [x <- v | P(x)]

instead of  [x | x<-v, P(x)] ?

Don't know, of course, how difficult this is.

Josef Eschgfaeller