Как написать общую функцию для любого конструктора данных?

Question

Предположим, что у меня есть эти определения данных в Haskell.

data Point a = Point a a 
data Piece a = One a | Two a 

и я хочу иметь одну функцию, как

place :: Num a => Piece (Point a) -> Point a 
place (Piece x) = x 

, как я могу это сделать, так как Haskell не позволяет функции этой конкретной формы.

Решение

Проблема заключалась в мое определение данных (много лет эмпирического программирования мешая здесь ...). Я хотел, чтобы мои данные Piece эффективно представляли собой две разные вещи: кусок, а также какую-то часть, я пытался добиться этого с наследованием, которое было всего лишь плохим подходом. Разделение данных следующим образом разрешило проблему.

data PieceKind = One | Two | ... | n 
data Piece a b = Piece a PieceKind 

Таким образом, моя пьеса действительно имеет два атрибута «а» (в моем случае это позиция части), а также PieceKind, таким образом, я был в состоянии написать функцию места без необходимости повторять его каждый вид части следующим образом:

place :: Num a => Piece (Point a) PieceKind -> Point a 
place (Piece x _) = x 

Кроме того, я также был в состоянии писать функции для определенного вида кусок:

place :: Num a => Piece (Point a) PieceKind -> Point a 
place (Piece _ One) = ... 

и это то, что я действительно хотел.

Answer 1

Используйте запись для общих полого

data Piece a = One { place :: a } | Two { place :: a } 
-- place automatically defined 

Или факторизовать общие данные

data Piece a = Piece Bool a 

place :: Piece a -> a 
place (Piece _ x) = x 

-- optionally: 
pattern One x = Piece False x 
pattern Two x = Piece True x 

В общем случае вместо Bool вы должны использовать пользовательский тип суммы, чтобы выразить остальное факторизации. Например.

data T a = A Int a | B Bool a 

становится

data T a = T (Either Int Bool) a 
-- optionally: 
pattern A n x = T (Left n) x 
pattern B b x = T (Right b) x 

Template Haskell также может решить эту проблему, но это излишеством, IMO.