Haskell通过FFI导出含函数类型参数的函数时ahc-link报错及JSVal转换问题咨询

首先得明确为什么你会遇到这个错误：Haskell的函数类型（比如Int -> Int）是Haskell runtime内部的闭包结构，和JavaScript的函数对象调用约定、内存表示完全不一样，所以FFI没办法直接在两者之间进行自动编组（marshal）。这就是ahc-link报错说Int -> Int不是合法参数类型的原因。

要解决这个问题，你需要用JSVal作为中间载体传递JavaScript函数，然后在Haskell端手动把JSVal转换成可以调用的、处理Int类型的函数。下面是基于Asterius（ahc-link所属工具链）的具体实现方案：

步骤1：调整导出类型并导入必要模块 #

首先修改foreign export的类型为接受JSVal（代表JavaScript函数），同时导入Asterius提供的类型转换工具：

{-# LANGUAGE ForeignFunctionInterface #-}

import Asterius.Types (JSVal)
import Asterius.JSHelpers (jsfunToHsFun, jsvalToInt, intToJSVal)

-- 现在导出的函数接受JSVal（JS函数）并返回Int
foreign export javascript "myFun" myFun :: JSVal -> Int

步骤2：实现类型转换与函数调用 #

在myFun内部，你需要把传入的JSVal（JavaScript函数）转换成Haskell可调用的形式，同时处理Int和JSVal的双向转换：

myFun :: JSVal -> Int
myFun jsFunc = let
  -- 将JS函数转为Haskell端的JSVal->JSVal函数
  hsJsFunc :: JSVal -> JSVal
  hsJsFunc = jsfunToHsFun jsFunc

  -- 封装类型转换逻辑，让函数能直接处理Int
  wrapFunc :: Int -> Int
  wrapFunc x = jsvalToInt $ hsJsFunc $ intToJSVal x

  -- 复用你原来的业务逻辑
  in wrapFunc (wrapFunc 0)

代码细节解释： #

• jsfunToHsFun：将JavaScript函数（以JSVal形式传入）转换为Haskell中的JSVal -> JSVal函数，让你能在Haskell代码里调用它。
• intToJSVal / jsvalToInt：负责Haskell Int与JavaScript数值的双向转换，确保参数和返回值能在两端正确传递。
• wrapFunc：封装了类型转换逻辑，让你可以像使用普通Int -> Int函数一样调用传入的JavaScript函数。

额外注意事项 #

• 确保传入的JSVal确实是一个JavaScript函数，如果传入非函数值，jsfunToHsFun可能引发运行时错误，你可以根据需求添加错误处理逻辑。
• Asterius的API可能随版本更新略有变化，若遇到函数找不到的问题，可参考Asterius官方文档确认最新函数名和类型。
• 在JavaScript端调用时，直接传入接受数值并返回数值的函数即可：

  // JS端调用示例
  const result = myFun(x => x + 1);
  console.log(result); // 输出2，对应逻辑f(f(0)) = f(1) = 2
  

内容的提问来源于stack exchange，提问作者Cactus