Geben Sie sichere gleiche Tupelgrößen ein.

Question

Wie schreibe ich am besten schreiben Sie eine Typ Unterschrift in Haskell, die am besten kapselt die Idee, dass eine Funktion ein Tupel beliebiger Länge mit allen Elementen X und eine Liste von Tupeln (von gleicher Länge) mit allen Elementen Y?

Es macht mir nichts aus, wenn der Typ ein "reales" Tupel ist, ein alternativer Datentyp, solange ich zur Kompilierzeit erzwingen kann, dass sowohl das Tupel als auch die Liste der Tupel dieselbe Länge haben.

Answer 1

Wie von zoran119 vorgeschlagen, sind length-indizierte Vektoren der klassische Weg, dies zu tun.

{-# LANGUAGE GADTs, DataKinds #-} 

data Nat = Z | S Nat 

data Vec n a where 
    Nil :: Vec 'Z a 
    Cons :: a -> Vec n a -> Vec ('S n) a 

Jetzt können Sie leicht

f :: Vec n X -> [Vec n Y] -> Z