On Sun, Aug 18, 2002 at 06:32:27PM +0200, [EMAIL PROTECTED] wrote: > Hi all. > I'm new to this mailing list. (and still a relative newbie in Haskell - > learning GraphicsLib) > Because the Wish List did not work (maybe it is my browsers fault), I now > write it to this list. > > I found the zipWithN functions in the standard libs, but imho it would be > much more comfortable to use operators like in this example: > > ... > infixl 123whatever (:<), (><) > -- lower priority than (++) > > (:<) :: (a->b) -> [a] -> [b] > (:<) = map > > (><) :: [(a->b)] -> [a] -> [b] > (><) = zipWith id
Nice, except that operator names that start with ':' are constructors. Have you seen the paper "Do we need dependent types" <http://www.brics.dk/RS/01/10/>? They do the same trick, and go further. --Dylan
msg11393/pgp00000.pgp
Description: PGP signature