Создать либу на Haskell

Ты же понимаешь что ты притащишь еще и хакселевый GC, хаскелевый рантайм и всё вот это. Зачем оно тебе в сишке?

https://wiki.haskell.org/GHC/Using_the_FFI#Calling_Haskell_from_C

сам не делал, не было необходимости

Optimization rules:

1. Don't.

А вообще хаскельные библиотеки по умолчанию линкуются как раз статически.

https://qnikst.github.io/posts/2018-05-02-cabal-foreign-library.html

В новом кабале вот такое есть. В старом я через костыль делал. Могу скинуть, если надо.

О, надо будет попробовать

За ссылку спасибо!

Потом сишка уйдет в чужую среду, где рантаймы еще жирнее, чем хаскельный :)

А если я соберу либу как standalone, то есть шанс, что кто-то другой завалит мне всю программу через вызов hs_end? То есть, если кто-то другой тоже захочет притащить хаскельную либу? Или иначе, есть ли гарантия, что хаскелевский RTS будет просто клонироваться, и он будет независим от других либ? Может ли быть сразу несколько клонов хаскелевского RTS в одном системном процессе?

Честно говоря, понятия не имею. Прозреваю, что если будут две разные либы с RTS, то должно работать. Но я бы протестировал этот момент на твоём месте.

Да похоже, что на маке режим standalone не поддерживается, т.е. это получается, что RTS будет разделяемым, если правильно понимаю. Нехорошо тогда. Каждый шкет сможет завалить RTS. Хотелось бы ошибиться.

Разве? Мне казалось, RTS линкуется в любом случае.

Не в тему, но ты не думаешь, что, если кто-то может внутри твоего процесса запускать код, то рыпаться уже поздно? Никто не мешает так же дёрнуть NULL и свалить всё в сегфолт.

Тут другой вариант. Я хотел для питончика пакетик создать, но боюсь, что могут возникнуть проблемы, если кто-то захочет использовать мой пакетик с другим кодом, где тоже внутри будет хаскель... Короче, по-хорошему для такого сценария остается или C++, или Rust. Мне больше нравится второй, да и заготовка уже есть. Увы!

Насколько я знаю, множественный вызов hs_init() ни к чему плохому не приводит. С hs_exit() всё сложнее.

И тогда будет большой бара-бум!

Хочу поблагодарить за помощь. На винде таки удалось проверить. Я попробовал собрать две либы через «ghc -static -shared ...» уже после кабала. Потом использовал их вместе. Очень похоже, что у меня получились две разные версии RTS, потому что преждевременный вызов hs_end() по второй либе никак не помешал первой либе закончить с задержкой порожденный поток. Это просто здорово! На юниксах пока не смог воспроизвести.

Такого плана был тест:

#include <stdio.h>
#include <unistd.h>

extern void fun1_start();
extern void fun2_start();

extern void fun1_end();
extern void fun2_end();

int main()
{
    fun1_start();
    fun2_start();
    fun2_end(); // вызов hs_end()
    sleep(10);
    fun1_end(); // fun1_start() порождает поток, который отрабатывает полностью с задержкой 5 секунд

    return 0;
}