[Haskell-cafe] Re: zip3, zip4 ... -> zipn?

Chung-chieh Shan ccshan at post.harvard.edu
Sat Aug 11 14:54:42 EDT 2007

Frank Buss <fb at frank-buss.de> wrote in article <0e3d01c7dbed$59676970$64c5a8c0 at galilei> in gmane.comp.lang.haskell.cafe:
> Is it possible to write a function like this:
> zipn n list_1 list_2 list_3 ... list_n
> which implements zip3 for n=3, zip4 for n=4 etc.? Looks like variable number
> of arguments are possible, like printf shows, so a general zipn should be
> possible, too. If it is possible, why there are functions like zip5 and not
> just zipn?

Check out:

Fridlender, Daniel, and Mia Indrika. 2000. Do we need dependent
types? Journal of Functional Programming 10(4):409-415.

McBride, Conor. 2002. Faking it: Simulating dependent types in
Haskell. Journal of Functional Programming 12(4-5): 375-392.

Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
Remember Hirosima 1945-08-06, Nagasaki 1945-08-09.
http://petitions.pm.gov.uk/Free-Vanunu/ http://www.vanunu.org/

More information about the Haskell-Cafe mailing list