Haskell обощённая работа с запясями

Посмотри вот это, может то, что ищешь:

http://hackage.haskell.org/package/data-accessor

Там еще есть template haskell пакет для автоматической генерации аксесоров.

Разве что Either использовать.

add :: T -> Either T1 T2 -> T

Вариант конечно, но реальная структура несколько шире будет, да и расширяемость важна.

> расширяемость

Ну так бросай хаскиговно.

Ну тогда классы типов.

data T1 = T1
        deriving Show

data T2 = T2
        deriving Show

data T = T [T1] [T2]
       deriving Show

class TAddable t where
  add :: T -> t -> T

instance TAddable T1 where
  add (T ts1 ts2) t1 = T (t1:ts1) ts2

instance TAddable T2 where
  add (T ts1 ts2) t2 = T ts1 (t2:ts2)

*Main> add (T [] []) T1
T [T1] []
*Main> add (T [] []) T2
T [] [T2]
*Main> (T [] []) `add` T2 `add` T1 `add` T1
T [T1,T1] [T2]

По делу есть что сказать?

Вариант неплохой, но тоже не сильно обощённый. Надо писать по add для каждого типа. + если типы в записе пересекаться будут, то работать не будет.

Интересен вариант предложенный ratatosk. Правда каждый add необходимо сопроводить и геттером и сеттером. Много кода, но всё-таки меньше.

Или если совсем в лоб, то так. [code] data T = T {a :: [T1], b :: [T2]} add g s state v = let T vs = g state in s state v:vs

getA T{a = v} = v setA state v = state {a = v} [/code]

Надо писать по add для каждого типа.

А где не надо?

+ если типы в записе пересекаться будут, то работать не будет.

Тогда раскрой класс и сделай указание инстансов вручную.

data Tlass t = Tlass (T -> t -> T)

t1 :: Tlass T1
t1 = Tlass (\(T ts1 ts2) t -> T (t:ts1) ts2)

t2 :: Tlass T2
t2 = Tlass (\(T ts1 ts2) t -> T ts1 (t:ts2))

add :: Tlass t -> T -> t -> T
add (Tlass f) = f

*Main> add t1 (T [] []) T1
T [T1] []
*Main> add t2 (T [] []) T2
T [] [T2]

data-accessor или всякие его аналоги. Мне вот fclabels по описанию понравилось. Ещё есть, скажем, data-lens-fd. Короче, погрепай hackage по слову record :)

> По делу есть что сказать?

Куда уж более по делу? Хаски — негибкий, нерасширяемый язык, который неспособен решить проблему ТСа. Что не так?

Твой бред не так. Предложено не менее 4 различных подходов.