Size: a a a

2020 May 05

к

кана in Haskell
уже есть линзовыражение относительно длинное
источник

к

кана in Haskell
а хотя тоже норм через over, спасибо, всегда забываю про существование Alternative Maybe
источник

R

Roman in Haskell
пролистал Гранинский пост. Я правильно понял, что он там просто руками алгебраические эффекты высших порядков собирает?
источник

R

Roman in Haskell
вот тут:

data LangF next where
 ThrowException :: forall a e next. Exception e => e -> (a -> next) -> LangF next
 RunSafely :: Lang a -> (Either Text a -> next) -> LangF next

type Lang a = Free LangF a
источник

KV

Kirill Valyavin in Haskell
Yan Shkurinskiy
Дженерики на туплях очень легко пишутся
Речь же о том, чтобы бесплатно получать конвертеры между бизнес-рекордами и туплями?
источник

KV

Kirill Valyavin in Haskell
Пытаюсь представить, как в таком случае не навернётся порядок полей или поля одинаковых типов
источник

YS

Yan Shkurinskiy in Haskell
Kirill Valyavin
Речь же о том, чтобы бесплатно получать конвертеры между бизнес-рекордами и туплями?
Ну вроде нет, а вообще, мне было бы интересно такое
источник

KV

Kirill Valyavin in Haskell
Yan Shkurinskiy
Ну вроде нет, а вообще, мне было бы интересно такое
А о чём тогда?
источник

YS

Yan Shkurinskiy in Haskell
Там скорее, с чего энкодить/во что декодить при работе с хаскуэлем, как я понял
источник

YS

Yan Shkurinskiy in Haskell
Ну, я об этом говорил, по крайней мере
источник

KV

Kirill Valyavin in Haskell
Из туплей в рекорды и обратно? Как ещё-то
источник

YS

Yan Shkurinskiy in Haskell
Тупли или структурки
источник

YS

Yan Shkurinskiy in Haskell
Не, из туплей или из рекордов энкодить
источник

YS

Yan Shkurinskiy in Haskell
И в тупли или рекорды декодить
источник

KV

Kirill Valyavin in Haskell
Ну ок, тогда, если всё-таки рекорды, всё равно под капотом остаются тупли и их надо туда-сюда ворочать, вопрос остаётся
источник

YS

Yan Shkurinskiy in Haskell
Под капотом чего?
источник

KV

Kirill Valyavin in Haskell
Yan Shkurinskiy
Под капотом чего?
Ну всего этого, hasql. hasql же тупли принимает и возвращает?
источник

YS

Yan Shkurinskiy in Haskell
Kirill Valyavin
Ну всего этого, hasql. hasql же тупли принимает и возвращает?
Не, что угодно
источник

YS

Yan Shkurinskiy in Haskell
У Никиты в примерах обычно тупли
источник

KV

Kirill Valyavin in Haskell
Ок, буду тогда дальше разбираться
источник