Haskell inline-c-cpp调用Haskell函数

Question

我在一个小例子中使用 inline-c-cpp 来反转字符串:

[C.block| void {
        static char strTest[128] = "Hello, Haskell!";
        c_func();
  } |]

Haskell 代码是:

reverseIO :: BS.ByteString -> IO BS.ByteString
reverseIO str = return $ BS.reverse str

c_func() 是在我通过 C.include "test.c" 包含的另一个 c 文件中定义的 在那个 test.c 我调用

$fun:(char * (*reverseIO)(char * ))(strTest)

我遇到了几个错误:

 error: use of undeclared identifier 'reverseIO'
              $fun:(char (*reverseIO)(char * ))(strTest)
                           ^

谁能帮我解决这个问题？

更新: 我终于用正确的 C 函数指针语法让它工作了。

  [C.block| void {
           c_func($fun:(char* (*reverseIO)(char*)));
                         } |]

但我仍然有类型问题:

• Couldn't match type ‘BS.ByteString’ with ‘GHC.Ptr.Ptr CChar’
  Expected type: GHC.Ptr.Ptr CChar -> IO (GHC.Ptr.Ptr CChar)
    Actual type: BS.ByteString -> IO BS.ByteString

Answer 1

终于成功了:

import           Data.Monoid           ((<>))
import           Foreign.C.String
import qualified Language.C.Inline.Cpp as C

C.context (C.cppCtx <> C.baseCtx  <>C.funCtx)

C.include "pageturnerui.cpp"

someFunc :: IO ()
someFunc = do
  let reverseIO :: CString -> IO CString
      reverseIO cs = peekCString cs >>= return. reverse >>= newCString

  [C.block| void {
      pageturnerui($fun:(char* (*reverseIO)(char *)));
                         } |]

在我的 pageturnerui.cpp 中:

int pageturnerui(char* (*foo)(char*))
{
...
            static char strTest[128] = "Hello, Haskell!";

            if (ImGui::Button("Button")) {
              strcpy(strTest, foo(strTest));
            }
...
}

PS:我的代码没有说明最佳实践。我没有足够的经验能够就此提供建议。只是表明它可以编译和工作并且没有崩溃。