> 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
>
No; but now I have it.
I do not know where to use zipWith8 instead of operators.
- Marc
P.S.: AddOn
(:<) :: (a->b) -> [a] -> [b]
(:<) :: map
(><) :: [(a->b)] -> [a] -> [b]
(><) (f:fs) (a:as) = f a : ( fs >< as )
(><) _ _ = []
(><*) :: [(a->b)] -> a -> [b]
(><*) (f:fs) a = f a : ( fs >: a )
(><*) _ _ = []
to use it in sth like...
concat $ ("("++) :< map ((++).show) is ><* ("|"++) >< map ((++).show) js ><*
"\n"
(I did not test it)
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
