wiz

Опция GHC -split-sections

Но её надо включать на всю кодобазу и все зависимости, а то оно подрежет один пакет, а весь остальной мир так и прилипнет целиком.

cabal-install, глобально в `~/.cabal/config`:
split-sections: true

stack, в каждом проекте, в `stack.yaml`:

ghc-options:
  "$everything": -split-sections

Нет, не преобразовывает уже давно.

Возможность есть: https://hackage.haskell.org/package/inline-c

11 мб это если использовать статическую линковку и не использовать опцию сборки "split-sections". Без неё весь библиотечный код запихивается в исполняемый файл вне зависимости используется он или нет. "split-sections" позволяет порезать библиотеки на блоки гораздо меньшего размера и тащить только то, что нужно.

Кроме того, в Haskell будет ещё обязательная часть, т.н. "рантайм", которая обеспечивает все важные для исполнения программ функции вроде доступа к IO и сборке мусора.

Можно взять derive-storable и вывести через Generic.

С какой осью?

Если с windows, то есть пакет Win32 - низкоуровневый, но зато всё в одной куче.

Если с линуксами, то можно читать файлы из /proc.

Для захвата экрана можно взять что-нибудь кроссплатформенное вроде gtk. Но если хочется прям стримить экран, я бы уже не стал выпендриваться и поискал способ сесть поверх ffmpeg.

Технически, можно конечно вообще не описывать. Дали JSON и крутись как хочешь - в базе жсон, в программе жсон, на клиенте жсон. Но часто это неудобно и хочется его сначала перегнать во что-то прям сильно более специфическое для предметной области. Из {"something": "special"} в Special :: Something. И ещё столько раз, сколько того потребует достижение удобной работы. Ноль, один или более - не думаю, что это важно.

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

Можно сделать тип

data Something = Special | Ordinary | Composite This That

а потом при выгрузке использовать Generics, тайпклассы, TemplateHaskell или что-нибудь ещё чтобы получить код который будет из БД перекладывать в язык.

С бизнес-логикой всё ещё проще - код это данные, а данные это код. Есть EDSL на уровне хостового языка и логику ты пишешь на хаскеле, компилить и держать рядом с проектом. А есть DSL не использующие рантайм и к ним нужно прикручивать свою интерпретацию и сериализацию и хранить где угодно.

mlyamasov, это родственник abs из мира комплексных чисел:

That is, abs z is a number with the magnitude of z, but oriented in the positive real direction, whereas signum z has the phase of z, but unit magnitude.

https://www.haskell.org/onlinereport/complex.html

Класс Num действительно многие считают переусложнённым чудищем, но теперь уж до следующего репорта он с нами.

Для работы с AST функторные кодировки более предпочтительны как раз за счёт возможности единообразно всем подсовывать новые фичи (а затем разом их скидывать). Да и с готовыми схемами рекурсии приятней работать, чем открывать фабрику велосипедов.

Набросал пример с добавлением аннотаций на эти выражения: https://repl.it/@ICRainbow/RoundHuskyExabyte
Fix2 не нужен, но надо чётко понимать чем будет являться функтор и неподвижная точка в каких выражениях. Это не сложно, но нужна практика.