GHC/FFI：调用从 C 导入 haskell 库的 haskell 模块

Question

让我们举一个常见的例子，如何从 C 函数中调用 haskell 函数：

Haskell 模块：

{-# LANGUAGE ForeignFunctionInterface #-}

module Safe where

import Foreign.C.Types

fibonacci :: Int -> Int
fibonacci n = fibs !! n
    where fibs = 0 : 1 : zipWith (+) fibs (tail fibs)

fibonacci_hs :: CInt -> CInt
fibonacci_hs = fromIntegral . fibonacci . fromIntegral

foreign export ccall fibonacci_hs :: CInt -> CInt

和C模块：

#include <HsFFI.h>
#ifdef __GLASGOW_HASKELL__
#include "Safe_stub.h"
extern void __stginit_Safe(void);
#endif
#include <stdio.h>

int main(int argc, char *argv[]) {
   int i;
   hs_init(&argc, &argv);
#ifdef __GLASGOW_HASKELL__
   hs_add_root(__stginit_Safe);
#endif

   i = fibonacci_hs(42);
   printf("Fibonacci: %d\n", i);

   hs_exit();
   return 0;
}

我编译并链接它：

$ ghc -c -O Safe.hs
$ ghc test.c Safe.o Safe_stub.o -o test

没关系。但是如果我需要在 haskell 模块中导入一些库怎么办？例如，如果我需要使用字节串，我应该添加“import Data.Bytestring.Char8”（此模块仅作为示例，代码中未使用）：

{-# LANGUAGE ForeignFunctionInterface #-}

module Safe where

import Foreign.C.Types
import Data.Bytestring.Char8

fibonacci :: Int -> Int
fibonacci n = fibs !! n
    where fibs = 0 : 1 : zipWith (+) fibs (tail fibs)

fibonacci_hs :: CInt -> CInt
fibonacci_hs = fromIntegral . fibonacci . fromIntegral

foreign export ccall fibonacci_hs :: CInt -> CInt

那不行，现在我得到一个错误：

$ ...undefined reference to `__stginit_bytestringzm0zi9zi2zi0_DataziByteStringziChar8_'

我目前发现的所有问题都是这样的： a bug in GHC 如下 changeset (more formal description of the bug)

当我使用 ghc-6.12.3 时，我已经实现了这个功能。所以我不知道如何解决这个问题。

也许，创建一个共享库并将其与我的 C 模块动态链接会更容易？

Answer 1

我不认为这个错误是相关的。您是否尝试过使用--make？

$ ghc -c -O Safe.hs
$ ghc --make test.c Safe.o Safe_stub.o -o test

这些错误是您在不使用--make 将纯Haskell 代码与包依赖项链接时经常遇到的错误类型¹；默认情况下，GHC 链接在 base 中，但如果您想要其他包中的任何内容都不起作用。

如果您想要更“手动”的方法，也可以尝试明确指定包：

$ ghc -c -O Safe.hs
$ ghc -package bytestring test.c Safe.o Safe_stub.o -o test

¹ 从 GHC 7 开始，--make 一直是默认值。