Size: a a a

2020 May 12

MK

Maxim Koltsov in Haskell
а ты что решил сделать с rebindable?
источник

AV

Alexander Vershilov in Haskell
Декодеры типизированные, не знаю, как иначе сделать
источник

AV

Alexander Vershilov in Haskell
Если бы там let-ы не надо было писать связанные с вычислениями можно было бы какой-нить умный hlist написать и функцию его свертки
источник

AV

Alexander Vershilov in Haskell
Не знаю, вообще Monad это слишком сильная структура, т.к. действие не зависит от результата предыдущего, только чистая обработка
источник

AV

Alexander Vershilov in Haskell
Это значит это Applicative
источник

AV

Alexander Vershilov in Haskell
Но т.к. его общий тип зависит от типа каждого действия, то это Indexed Applicative 🙂 так что легче не становится
источник

AV

Alexander Vershilov in Haskell
А у monad есть do синтаксис красивый и можно писать
do field1 <- 
    field2 <-
    let field4 = ...
    pure Struct{..}
источник

AV

Alexander Vershilov in Haskell
ну с applicative do конечно и с аппликативами так можно, но кажется indexed applicative никто не написал
источник

AV

Alexander Vershilov in Haskell
хотя, не а частных случаях monad надо...
do field1 <-
    field2 <- codecBasedOn field1

Но это оптимизация
источник

AV

Alexander Vershilov in Haskell
в общем мне нужно, чтобы каждый вызов разборщика колонки менял тип кодека
источник

AV

Alexander Vershilov in Haskell
итого у меня будет
Tagged (input, output) ByteString <- sql запрос
Tagged output (Decoder a) <- декодер, говорящий какие колонки он собирает
Tagged input (Params b) <- encoder, говорящий какие колоки генерирует (это даже есть)

В итоге компилятор может всё проверить, и ура - минус целый класс ошибок
источник

AV

Alexander Vershilov in Haskell
Причем это ошибки, которые реально случаются, а не гипотетические
источник

AA

A64m AL256m qn<co... in Haskell
квалифаед ду то приняли, так что может кто-то и начнет пользоваться такими вещами когда-нибудь
источник

AV

Alexander Vershilov in Haskell
У меня ещё 8.6 вместо компилятора
источник

AA

A64m AL256m qn<co... in Haskell
последний релиз с фичами
источник

AV

Alexander Vershilov in Haskell
А в этот четверг (14.05) в 19-00 Андрей Иванов (@IIvana) расскажет про отладку в Clojure: "Вглубь собаки пошагово" - исследуем жуть и мрак с помощью самописного дебаггера.

Ссылка в канале пояится за 5 минут до мероприятия.
источник

D

Dreamerinnoise in Haskell
Alexander Vershilov
А в этот четверг (14.05) в 19-00 Андрей Иванов (@IIvana) расскажет про отладку в Clojure: "Вглубь собаки пошагово" - исследуем жуть и мрак с помощью самописного дебаггера.

Ссылка в канале пояится за 5 минут до мероприятия.
А что за канал?
источник

AV

Alexander Vershilov in Haskell
источник

D

Dreamerinnoise in Haskell
спасибо
источник

VZ

Victor Zagorodny in Haskell
Старожилы, скажите, а почему в своё время закрылся журнал Практика функционального программирования?
источник