ffi - 如何在 PureScript FFI 中映射 0 参数 JavaScript 函数

Question

我正在尝试使用 FFI 将以下 JavaScript 函数导入 PureScript:

function getGreeting() {
  return "Hi, welcome to the show."
}

但我不确定该类型应该是什么。我最接近的是这样的:

foreign import getGreeting :: Unit -> String

我确实希望 getGreeting 保留为函数，而不是将其转换为常量。

有没有更好的方法来编写类型？我尝试看看如果我在 PureScript 本身中使用该类型的签名定义一个虚拟函数，PureScript 会做什么:

var getGreeting = function (v) {
  return "Hi, welcome to the show.";
};

有没有办法摆脱未使用的 v 参数？

TIA

Answer 1

Unit -> String 是一个非常好的类型，或者也许 对于所有 a. a -> 字符串。后一种类型可能看起来过于宽松，但我们确信由于参数化，a 未被使用，因此该函数仍然必须是常量。