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

да, я понял, вместо ямла с якорями использовать функции/типы в дхалле

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

Alexander Vershilov

Вот, возвращаясь назад. Если у нас есть преобразование:
декларативный файл -> autogenerated.hs -> сборка
то тогда мы можем делать достаточно мощный препроцессор, не запускать его когда не надо, утилиты будут видеть нормальный файл с {-# SOURCE #-} и кабал будет рад (а hpack не нужен)

да, звучит здорово

01:26пожаловаться #2

Вот, но это большой план; и примерно тогда же мне подумалось, а нельзя ли что-то такое простое и разумное с запросами сделать

01:26пожаловаться #3

Ещё желательно, чтобы это проявлялось только при линковке

01:26пожаловаться #4

ещё можно сами запросы в базу положить

01:27пожаловаться #5

Я об этом думал!

01:27пожаловаться #6

но это плохая метамодель

01:27пожаловаться #7

наивная, я бы сказал

01:27пожаловаться #8

Фиксы запросов выкатывать просто!

01:27пожаловаться #9

Правда бесконечно всё испортить тоже

01:27пожаловаться #10

да, пространство для багов там большое

01:28пожаловаться #11

тогда уж типы с рекордами в базу клади

01:28пожаловаться #12

кстати, надо бы кодоген запилить как у Никиты, давно хотел, для такого

01:28пожаловаться #13

Но в целом, если бы было:

foreign import ccall "query_x" query_x :: Ptr CString

a = statement query_x encoder decoder False where
  ...

01:29пожаловаться #14

А query_x в query_x.c

01:30пожаловаться #15

чем SQL хуже, чем С?!

01:30пожаловаться #16

Тогда изменение запроса меняет только линквку, он себе лежит в DATA

01:30пожаловаться #17

Это странные мысли в 1:30

01:31пожаловаться #18

inline-sql

01:31пожаловаться #19

ну inline-sql ничем не лучше, будет себе пересобираться каждый раз