从Rust调用动态链接的Haskell代码

Question

我正在尝试使用一些Haskell代码来编译一些Rust代码。我有一个设置有文件Fibonacci.hs的测试系统，该文件具有在Haskell中计算斐波那契数并通过Haskell的FFI将函数导出为fibonacci_hs的功能（如下所示：https://github.com/nh2/haskell-from-python，尽管我将复制并粘贴到底部），并在wrapper.c中定义了要初始化和退出Haskell的RTS调用的导出函数。

代码看起来像这样：

{- Fibonacci.hs -}
{-# LANGUAGE ForeignFunctionInterface #-}

module Fibonacci 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

---

// wrapper.c

#include <stdlib.h>
#include "HsFFI.h"

void
example_init (void)
{
  hs_init (NULL, NULL);
}

void
example_exit (void)
{
  hs_exit ();
}

我通过以下方式进行编译：

ghc -c -dynamic -fPIC Fibonacci.hs

ghc -c -dynamic -fPIC wrapper.c

并且我通过以下方式将对象链接到共享/动态库中（稍后详细介绍）：

ghc -o libfibonacci.so -shared -dynamic -fPIC Fibonacci.o wrapper.o -lHSrts

在从链接的存储库中运行Python示例代码时，它在我的Mac上运行得很好，但是我无法使其与Rust链接。

在Rust中，我的代码看起来像这样：

//main.rs
#[link(name = "fibonacci")]
extern {
    fn fibonacci_hs (n : i32); // c_int = i32
    fn fib_init (); // start hs rts
    fn fib_exit (); // kill hs rts
}

fn main () {
    unsafe {
        fib_init();
        for i in 0..100 {
            println!("{:?}th fibonacci : {:?}", i, fibonacci_hs(i));
        }
        fib_exit();
    }
}

并且我使用rustc main.rs -L .进行编译（因为共享库文件是本地的。

[我在Mac上生成的错误，在使用动态库（ghc -o libfibonacci.so -shared -static haskell/Fibonacci.o haskell/wrapper.o -lHSrts然后'rustc main.rs -L。）编译时在运行时：

dyld: Symbol not found: _ffi_call
  Referenced from: ./libfibonacci.so
  Expected in: flat namespace
 in ./libfibonacci.so
Trace/BPT trap: 5

感谢您的任何帮助。

Answer 1

编译共享库时，似乎还需要链接到libffi：

ghc -o libfibonacci.dylib -shared -dynamic -fPIC \
  Fibonacci.hs wrapper.c -lHSrts -lffi

我通过进入我的GHC库目录（/usr/local/lib/ghc-7.10.1/rts），然后用grepping符号ffi_call推断出这一点：

$ grep -lRa ffi_call .
./include/ffi.h
./rts/libHSrts-ghc7.10.1.dylib
...

然后我使用nm查找具有它的确切库：

for i in *dylib; do
   if nm $i | grep -q 'T.*ffi_call'; then
       echo "== $i";
   fi;
done

我当时可以使用：

DYLD_LIBRARY_PATH='.' ./main

[不幸的是，您的代码似乎不正确，因为我只得到了一堆空元组。您忘记了该函数的返回类型，然后遇到第46个左右的Fibbonacci对于u32太大的问题。

另外，您应该使用libc包中的类型，在这里使用u64可能是最安全的。

我使用Homebrew安装了GHC 7.10.1，但希望在其他地方也可以使用相同的模式。

Answer 2

您提到了两个不同的最终链接命令，

Answer 3

您可能想看看https://github.com/mgattozzi/curryrs，它是用于集成Haskell和Rust的工具。我没有尝试过，但是看起来它将使您尝试做的某些事情变得更容易。