Haskell

15 January 2026 08:23

В общем мне кажется что идея Димы отличная, а дальше эту утилиту можно вставить в свой workflow по разному, хоть плагином в IDE, хоть оберткой через TH, хоть конвертатором из сгенерированного кода на Haskell в Lisp

Haskell

15 January 2026 08:22

Ладно, на ТН тоже можно создать новые модули, но боюсь сборка проекта развалится и надо будет пару раз делать

Haskell

15 January 2026 08:21

А ещё утилита сможет создать структуру и пачку модулей, а не дописать код в один

Haskell

15 January 2026 08:20

Кажется, первое из второго выводится

Haskell

15 January 2026 08:20

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

Haskell

15 January 2026 08:19

не для всех это хорошо, да

Haskell

15 January 2026 08:18

Особенно если это не библиотека

Haskell

15 January 2026 08:18

Ну ладно, это я ужаснулся думая про свои процессы сборки наверное

Haskell

15 January 2026 08:16

Ну тут для сборки нужна живая бд

Haskell

15 January 2026 08:15

Мне казалось я где-то такое видел

Haskell

15 January 2026 08:13

Писать ручками надо типы со спекой, из которых генерация потом идет. При том что SSoT в схеме СУБД

Haskell

15 January 2026 08:13

А зачем тогда руками энкодеры для таблиц писать?

Haskell

15 January 2026 08:12

Чтобы энкодеры в принципе писать не надо было

Haskell

14 January 2026 20:25

О, точно! Там чел похоже открыл для себя генеративный ии контент и генерит странные видосы с нереальной скоростью. Убрал его фид из конфига

Haskell

14 January 2026 14:05

Я перетащил проект с 9.6 на 9.10 и он стал потреблять меньше памяти (-5-10%) и сильно больше цпу (+25-40%). Может есть уже какие-то характерные эвристики, как с этим бороться? Типа добавить/убавить какие-то флаги оптимизации, больше писать INLINE вот это все

Haskell

15 January 2026 08:23

Типо чтобы типы данных могли не совпадать с таблицами?

Haskell

15 January 2026 08:22

В рекорде можно убрать поле или поменять тип и запрос с энкодером и маппером перегенерируется

Haskell

15 January 2026 08:21

Но зачем пара функций на ТН, если утилиту написать проще и быстрее?

Haskell

15 January 2026 08:20

UX будет ужасен - каждому в пайплайн сборки придется затягивать работающую СУБД с миграциями

Haskell

15 January 2026 08:19

А это уже существующая либа какая-то или ты свою пишешь?

Haskell

15 January 2026 08:19

Да

type ExampleCols =
 '[ Column "a1" Int32
  , Column "a2" ChString
  , Column "a3" (DateTime "")
  ]

data ExampleData = MkExampleData
  { a1 :: Int32
  , a2 :: ChString
  , a3 :: UInt32
  }
  deriving (Generic, ClickHaskell ExampleCols)

insertQuery :: Insert ExampleCols ExampleData
insertQuery = intoTable @"exampleTable" @ExampleCols @ExampleData

main :: IO ()
main = do
  connection <- openConnection defaultConnectionArgs
  insert insertQuery connection []

Haskell

15 January 2026 08:18

А принципе в этом наверное нет ничего плохо

Haskell

15 January 2026 08:17

ну, у этого сценария есть пользователи. почему бы нет? хотя бы для начального написания кода под уже живую БД.

в C# это распространённая практика

Haskell

15 January 2026 08:15

достаточно пары функций на TH

Haskell

15 January 2026 08:15

А, типо в динамике у изначально меняется не хаскельный код, а сама схема в живой таблице?

Haskell

15 January 2026 08:13

Или я что-то не понимаю

Haskell

15 January 2026 08:12

На дженериках оно и работает

Haskell

14 January 2026 20:32

дегенеративный

Haskell

14 January 2026 14:27

А нет, nevermind, там проблема гораздо интереснее, она в том, как метрики считаются

Haskell

14 January 2026 13:49

вообще канал полезный