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

[Chung-chieh Shan]

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.
http://www.math.chalmers.se/~indrika/jfp.ps.gz

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/