Телеграмм чат группы haskellru страница 12201

Зигохистоморфный Препроморфизм

а разве с generic lens это не работает?

не знаю .-.

Зигохистоморфный Пре... in Haskell

16:24пожаловаться #1

ЗП

кана

вот в модели у нас там 10 полей

у generic lens есть вариант сабтайпов делать

16:25пожаловаться #2

да при чем тут generic lens

16:25пожаловаться #3

кана

а что если типы все таки не одинаковые?

просто когда 8 из 10 случаев одинаковы (например) - не писать эти 8 случаев приятно

16:25пожаловаться #4

у чувака просто два независимых модуля, но работают с схожими данными, хочет иметь независимые типы в них

16:25пожаловаться #5

всё так

16:25пожаловаться #6

у чувака именно всё так(

16:26пожаловаться #7

но тогда нужна еще третья часть, которая будет конвертировать

16:26пожаловаться #8

аппликейшн

16:26пожаловаться #9

а то получится, что вторая часть зависит от типов первой

16:26пожаловаться #10

а ну ок

16:26пожаловаться #11

третья часть, которая знает о всех других

16:26пожаловаться #12

а все другие части (больше двух, на самом деле) - независимы

16:26пожаловаться #13

Yan Shkurinskiy

у чувака именно всё так(

такое обращение неприятно?

16:26пожаловаться #14

Могу так не писать, я считал его нейтральным

16:27пожаловаться #15

кана

такое обращение неприятно?

не, я шучу)

16:27пожаловаться #16

Абсолютно без негатива

16:27пожаловаться #17

Просто ты точно описал, какое у меня положение дел

16:27пожаловаться #18

И причины

Алексей Худяков... in Haskell

16:27пожаловаться #19

АХ

Yan Shkurinskiy

Ну, конверт хочу. Чтобы разные типы с одинаковой структурой и конвертируемыми полями можно было конвертить

λ> data A = A Int Char deriving (Show,Generic)
λ> instance HVector A
λ> convert (12,'c') :: A
A 12 'c'

Такое?