Haskell: funzione 'makeNtuple'?

Question

Esiste una funzione o funzioni in Haskell che accetta n argomenti e restituisce una n-tupla? Ad esempio:

make3tuple:: a -> a -> a -> (a,a,a) 
make3tuple a b c = (a,b,c) 

es .: come la virgola, ma per più di due argomenti. Ovviamente make3tuple fa il lavoro, ma ho l'impressione che ci debba essere un modo integrato per farlo, e non l'ho trovato, o mi sono perso un modo per usare qualche altra funzione onnipresente.

FWIW, questo si verifica quando si utilizza liftM3 (o superiore). Ad esempio:

type RandomState a = State StdGen a 
[...] 
getTwoRandoms = liftM2 (,) getRandom getRandom 
get3Randoms = liftM3 make3tuple getRandom getRandom getRandom 

Grazie!

Answer 1

Sì.

(,,) :: a -> b -> c -> (a, b, c) 
(,,,) :: a -> b -> c -> d -> (a, b, c, d) 

ecc

Così si potrebbe scrivere liftM3 (,,) getRandom getRandom getRandom

Haskell compilatori offrono funzioni come questo fino ad una certa dimensione (credo che la garanzia è di 15-tuple)

Answer 2

Non come funziona come makeNtuple :: Int -> a -> a -> ... -> (a,a,...) e nota che sembra addirittura non essere esprimibile nella lingua del testo. Se stai bene con la tupla avere un tipo omogeneo quindi è possibile utilizzare "dependently-typed" Vectors

data Nat = Ze | Su Nat 

data Vec :: * -> Nat -> * where 
    Nil :: Vec a Ze 
    Cons :: a -> Vec a n -> Vec a (Su n)