FFI exports: GHC native library с C-совместимыми точками входа #6

New issue

Closed

opened 2026-06-15 13:22:08 +02:00 by yorunikakeru · 0 comments

yorunikakeru commented

2026-06-15 13:22:08 +02:00

Owner

Скомпилировать Haskell ядро в нативную библиотеку и экспортировать функции для Rust.

C-экспорты

-- Planner.FFI
foreign export ccall "hs_planner_init" plannerInit :: IO ()
foreign export ccall "hs_plan" hsPlan
  :: CString  -- IR bytes (JSON)
  -> CInt     -- IR length
  -> CString  -- SystemState bytes (JSON)
  -> CInt     -- SystemState length
  -> Ptr CString  -- out: Plan JSON
  -> Ptr CInt     -- out: Plan length
  -> IO CInt      -- 0 = ok, 1 = error

Сборка

cabal target planner-core с ghc-options: -shared
nix flake выставляет libHSplanner-core.so как derivation output
hs_planner_init вызывает hsInit (обязателен для GHC RTS)

Байты через границу

IR передаётся как opaque bytes — Rust не парсит, Haskell десериализует через aeson
Plan и ошибка возвращаются как JSON-байты, Rust получает CString
Rust владеет памятью после копирования; Haskell не удерживает указатели

Acceptance

nm libHSplanner-core.so | grep hs_plan показывает символ
Вызов из C-тест программы возвращает корректный Plan JSON

Скомпилировать Haskell ядро в нативную библиотеку и экспортировать функции для Rust. ## C-экспорты ```haskell -- Planner.FFI foreign export ccall "hs_planner_init" plannerInit :: IO () foreign export ccall "hs_plan" hsPlan :: CString -- IR bytes (JSON) -> CInt -- IR length -> CString -- SystemState bytes (JSON) -> CInt -- SystemState length -> Ptr CString -- out: Plan JSON -> Ptr CInt -- out: Plan length -> IO CInt -- 0 = ok, 1 = error ``` ## Сборка - cabal target `planner-core` с `ghc-options: -shared` - nix flake выставляет `libHSplanner-core.so` как derivation output - `hs_planner_init` вызывает `hsInit` (обязателен для GHC RTS) ## Байты через границу - IR передаётся как opaque bytes — Rust не парсит, Haskell десериализует через aeson - Plan и ошибка возвращаются как JSON-байты, Rust получает CString - Rust владеет памятью после копирования; Haskell не удерживает указатели ## Acceptance - `nm libHSplanner-core.so | grep hs_plan` показывает символ - Вызов из C-тест программы возвращает корректный Plan JSON

yorunikakeru added the

haskell

ffi

labels

2026-06-15 13:22:08 +02:00

yorunikakeru referenced this issue from a pull request that will close it,

2026-06-17 15:59:53 +02:00

feat(ffi): FFI boundary with Protobuf wire format (closes #6, #11) #13

yorunikakeru closed this issue

2026-06-17 16:03:45 +02:00

yorunikakeru referenced this issue from a commit

2026-06-17 16:03:46 +02:00