[Haskell-cafe] Variable-arity zipWith (re)invented.

2012-12-08 Thread Takayuki Muranushi
Continued discussion from https://groups.google.com/d/topic/haskell-cafe/-e-xaCEbd-w/discussion https://groups.google.com/d/topic/haskell-cafe/kM_-NvXAcx8/discussion Thank you for all the answeres and thinkings; Here's zipWithN for general Zip functors: [1] . This, together with [2] may constit

Re: [Haskell-cafe] Variable-arity zipWith (re)invented.

2012-12-10 Thread adam vogt
On Sat, Dec 8, 2012 at 10:27 AM, Takayuki Muranushi wrote: > Continued discussion from > > https://groups.google.com/d/topic/haskell-cafe/-e-xaCEbd-w/discussion > https://groups.google.com/d/topic/haskell-cafe/kM_-NvXAcx8/discussion > > Thank you for all the answeres and thinkings; > > > Here's zi

Re: [Haskell-cafe] Variable-arity zipWith (re)invented.

2012-12-10 Thread Takayuki Muranushi
Repeated thanks to you, Adam! Your code is brilliantly simple. Sadly, I cannot reproduce the behaviors in your comments on my ghci (7.6.1) . Can we guess why? The version of packages we are using? Mines are here. https://github.com/nushio3/practice/tree/master/variable-arity/adam >>> :t

Re: [Haskell-cafe] Variable-arity zipWith (re)invented.

2012-12-11 Thread José Pedro Magalhães
Hi Takayuki, Just thought I'd mention another approach to a variadic zipWith, this one using type families: http://typesandkinds.wordpress.com/2012/11/26/variable-arity-zipwith/ The current lack of overlap in type families makes things a bit more complicated, but it can be solved using the upcom

Re: [Haskell-cafe] Variable-arity zipWith (re)invented.

2012-12-11 Thread adam vogt
On Mon, Dec 10, 2012 at 7:23 PM, Takayuki Muranushi wrote: > Repeated thanks to you, Adam! Your code is brilliantly simple. > > Sadly, I cannot reproduce the behaviors in your comments on my ghci > (7.6.1) . > Can we guess why? The version of packages we are using? > > Mines are here. > > htt