如何PureScript FFI

Question

我試圖用FFI導入下面的JavaScript函數到PureScript映射0參數的JavaScript函數：

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是一個非常好的類型，或者可能是forall a. a -> String。後一種類型可能看起來過於寬容，但我們肯定知道a由於參數性而未被使用，所以該函數仍然必須是恆定的。

Answer 2

實在是有用的包purescript-functions這可能是在這種情況下有益的，如果你真的必須從Purescript調用此函數，它是（因爲我認爲它IS真的只是一個常數）你可以試試：

module Main where 

import Prelude 
import Control.Monad.Eff (Eff) 
import Control.Monad.Eff.Console (CONSOLE, log) 
import Data.Function.Uncurried (Fn0, runFn0) 

foreign import getString ∷ Fn0 String 

main :: forall e. Eff (console :: CONSOLE | e) Unit 
main = do 
    log (runFn0 getString) 

我創建這個簡單的JavaScript模塊，使這個例子可以測試：

/* global exports */ 
"use strict"; 

// module Main 

exports.getString = function() { 
    return "my constant string ;-)"; 
};