On Sun, Aug 18, 2002 at 06:32:27PM +0200, Coeus@gmx.de 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