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

тупо

22:01пожаловаться #1

У меня hkd для моделек, например, там лучше не иметь две даты в качестве альтернативы

22:02пожаловаться #2

у меня в дате два поля всего и ХКД висит только на одном)

22:03пожаловаться #3

Yan Shkurinskiy

У меня hkd для моделек, например, там лучше не иметь две даты в качестве альтернативы

тут да, согласен

22:03пожаловаться #4

а ты какой-то либой для хкд пользуешься?

22:03пожаловаться #5

Эээ

22:03пожаловаться #6

Никакой(

22:03пожаловаться #7

Я просто параметризирую руками тип модели

22:04пожаловаться #8

Точнее - через тайпфемели сделал удобные функции

22:04пожаловаться #9

Типа Update Order, Create Order

22:05пожаловаться #10

не помню спрашивал ли я уже, спрошу ещё раз

22:06пожаловаться #11

с Name как-то можно в семействах работать?

22:06пожаловаться #12

превращать в символ например)

22:06пожаловаться #13

а какой Name?

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

Maxim Koltsov

а ты какой-то либой для хкд пользуешься?

я пробовал использовать либу для HKD, которая просто семейство добавляет, чтобы HKD Identity a = a

22:28пожаловаться #15

кана

а какой Name?

ТХшный

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

и это было ужасно, потому что он много где не мог вывести тип, и в итоге просто делал ручной HKD

22:28пожаловаться #17

кана

и это было ужасно, потому что он много где не мог вывести тип, и в итоге просто делал ручной HKD

и если бы делал еще раз, тоже бы сделал ручной HKD + паттерн синоним с Identity

22:29пожаловаться #18

был кор плагин весёлый :)

22:29пожаловаться #19

который вводил аксиому a ~ Identity a или как-то так