Size: a a a

2020 November 16

AV

Alexander Vershilov in Haskell
Сначала модуль, потом всё от него зависящее
источник

A

Andrey in Haskell
да
источник

AV

Alexander Vershilov in Haskell
А в варианте выше - нет
источник

AV

Alexander Vershilov in Haskell
из минусов - запрос лежит где-то в другом месте
источник

AV

Alexander Vershilov in Haskell
поэтому хочется весь код генерировать
источник

AV

Alexander Vershilov in Haskell
например будет у нас yaml (для любителей dhall):
query:
  name: ...
  module: ...
  query: |
     ...
     ...
  params:
     -
  custom_decoder: |
      haskell code
источник

AV

Alexander Vershilov in Haskell
Правда непонятно как аккуратно пересобирать тогда, вроде все препроцессоры и билдтулы свои сверх дёшево не встроить
источник

AV

Alexander Vershilov in Haskell
В обещем, интересно будет поисследовать это
источник

AV

Alexander Vershilov in Haskell
Причем сразу в несколько направлений:
- генератор как у Никиты, но без TH, и с разумным запуском и управлением, чтобы скажем в ghci можно было работать;
- непосредственно генератор sql и можно ли сделать так чтобы изменение текста запроса не приводило к пересборке лишнего
источник

A

Andrey in Haskell
да, интересно
источник

AR

Alexey Raga in Haskell
А как правильно в Серванте закапчить Data.Time.Day формата YYYY/MM/DD из пути?
Три капчи на Year/Month/Day делать же как-то некрасиво?
источник

AR

Alexey Raga in Haskell
Плюс они же связаны, типа 31-го ферваля же не бывает никогда, то есть, какие-то пути будут невалидные...
источник

AR

Alexey Raga in Haskell
ToHttpApiData Day cуществует, но оно 2015-10-03, а не 2015/10/03. Как-то же должно быть можно и такое принять?
источник

AR

Alexey Raga in Haskell
А вообще, какие есть возможности скомпозить несколько Capture в один Capture?
источник

AV

Alexander Vershilov in Haskell
Кажется недавно кто-то это делал
источник

AV

Alexander Vershilov in Haskell
@willbasky не ты ли?
источник

AR

Alexey Raga in Haskell
Хм. А как в Серванте общаться с AWS если Handler не MonadUnliftIO (и не может быть таковым, как я понимаю), а runResourceT - MonadUnliftIO.
источник

NI

Nick Ivanych in Haskell
Alexander Vershilov
Проблема ж не в том, что много работы или заставляют, а в том, что больше нечем интересным заняться
Займись математикой.
Тебе ещё на неё времени хватать не будет.
источник

AV

Alexander Vershilov in Haskell
Сложно
источник

AV

Alexander Vershilov in Haskell
Alexey Raga
Хм. А как в Серванте общаться с AWS если Handler не MonadUnliftIO (и не может быть таковым, как я понимаю), а runResourceT - MonadUnliftIO.
liftIO $ runResourceT
источник