On Tue, Mar 16, 2010 at 11:15 AM, Henning Thielemann <thunderb...@henning-thielemann.de> wrote: > > newtype T3 a = T3 (a,a,a) > > which could well be > > data T3 a = T3 a a a >
I chose that specific representation just because at the end I want to use normal tuples. I thought this way was easier for "boxing" an "unboxing" > Are these types used for vector computations or what application do you have > in mind? I didn't have any specific application for the library. One day I just wanted to do an fmap with a tuple and somebody in #haskell suggested join (***) Of course this only works for binary tuples. I thought this would be a good excuse to play with template-haskell and give instances to some of the type classes I learnt about in the Typeclassopedia. I found it useful for vector computations. But aggregating with the Foldable instance is also handy. > Then again, is tuple-instance still an appropriate name? "There are only two hard things in Computer Science: cache invalidation and naming things" - Phil Karlton I'm open to suggestions :-) Diego Echeverri _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe