Какой сейчас best practices с FFI Haskell <-> Rust? Может кто

Да, я это посмотрел, поэтому и решил спросить у более опытных камрадов в чате. Может ведь быть, что в этом проекте всё настолько идеально, что и менять нечего 🤣

0

13.10.2021

Alexander "SonnySlave" Zaitsev

Denis Gabidullin
Из Haskell дёргать Rust — обязательно. Из Rust дёр...

делай как всегда в любых сложных ситуациях: Lang A <-> C <-> Lang B

0

13.10.2021

Denis Gabidullin Автор вопроса

Alexander "SonnySlave" Zaitsev
делай как всегда в любых сложных ситуациях: Lang A...

Ну это план Б)

0

13.10.2021

Max Силинг

Красота Но как это может работать? Функция внутри safe_ffi!{} может давать сайдэффекты, что unsafe c точки зрения Haskell

0

14.10.2021

Д. С.

Max Силинг
Красота Но как это может работать? Функция внутри ...

Так FFI в хаскеле по определению IO. Но если очень-очень надо, то всегда есть unsafePerformIO, хотя я не знаю пока других применений этой функции, кроме как для определения глобальных изменяемых ссылок, что само по себе не хорошо, да и вызова чистых функций типа синуса. Итого, пожелаешь FFI в хаскеле - будь готов работать через монаду IO или скрывать ее в случае вызова синуса. Что касается взаимодействия с растом, то не вижу препятствий, если растовский код будет соблюдать сишный ABI. А вот сборщик мусора добавит головной боли (так только игрался для интеграции хаскеля с сями, но вот растовский код вызываю из раста же из другой либы через тот же сишный ABI вполне серьезно)

0

14.10.2021

Max Силинг

Д. С.
Так FFI в хаскеле по определению IO. Но если очень...

Хм. А если растовый код, например, сделает тред, который будет уже после завершения этой конкретной функции делать сколько угодно небезопасного IO?

0

14.10.2021

Αλεχ Zhukovsky

Д. С.
Так FFI в хаскеле по определению IO. Но если очень...

он нужен чтобы дернуть факториал, объявленный в сишке

0

14.10.2021