MK
а ты что решил сделать с rebindable?
Size: a a a
2020 May 12
AV
Декодеры типизированные, не знаю, как иначе сделать
AV
Если бы там let-ы не надо было писать связанные с вычислениями можно было бы какой-нить умный hlist написать и функцию его свертки
AV
Не знаю, вообще Monad это слишком сильная структура, т.к. действие не зависит от результата предыдущего, только чистая обработка
AV
Это значит это Applicative
AV
Но т.к. его общий тип зависит от типа каждого действия, то это Indexed Applicative 🙂 так что легче не становится
AV
А у monad есть do синтаксис красивый и можно писать
do field1 <-
field2 <-
let field4 = ...
pure Struct{..}
AV
ну с applicative do конечно и с аппликативами так можно, но кажется indexed applicative никто не написал
AV
хотя, не а частных случаях monad надо...
Но это оптимизация
do field1 <-
field2 <- codecBasedOn field1
Но это оптимизация
AV
в общем мне нужно, чтобы каждый вызов разборщика колонки менял тип кодека
AV
итого у меня будет
Tagged (input, output) ByteString <- sql запрос
Tagged output (Decoder a) <- декодер, говорящий какие колонки он собирает
Tagged input (Params b) <- encoder, говорящий какие колоки генерирует (это даже есть)
В итоге компилятор может всё проверить, и ура - минус целый класс ошибок
Tagged (input, output) ByteString <- sql запрос
Tagged output (Decoder a) <- декодер, говорящий какие колонки он собирает
Tagged input (Params b) <- encoder, говорящий какие колоки генерирует (это даже есть)
В итоге компилятор может всё проверить, и ура - минус целый класс ошибок
AV
Причем это ошибки, которые реально случаются, а не гипотетические
AA
квалифаед ду то приняли, так что может кто-то и начнет пользоваться такими вещами когда-нибудь
AV
У меня ещё 8.6 вместо компилятора
AA
последний релиз с фичами
AV
А в этот четверг (14.05) в 19-00 Андрей Иванов (@IIvana) расскажет про отладку в Clojure: "Вглубь собаки пошагово" - исследуем жуть и мрак с помощью самописного дебаггера.
Ссылка в канале пояится за 5 минут до мероприятия.
Ссылка в канале пояится за 5 минут до мероприятия.
D
А в этот четверг (14.05) в 19-00 Андрей Иванов (@IIvana) расскажет про отладку в Clojure: "Вглубь собаки пошагово" - исследуем жуть и мрак с помощью самописного дебаггера.
Ссылка в канале пояится за 5 минут до мероприятия.
Ссылка в канале пояится за 5 минут до мероприятия.
А что за канал?
D
спасибо
VZ
Старожилы, скажите, а почему в своё время закрылся журнал Практика функционального программирования?