GHCJS ile Haskell nasıl çağrılır?

Question

GHCJS ile oynuyorum. FFI, Haskell'den javascript'i çağırmak için kullanılabilir, ancak diğer yoldan nasıl geçeceğimi anlayamıyorum.

sayHello :: String -> IO() 
sayHello name = print $ "hello, " ++ name 

yüzden Javascript diyebiliriz mümkün bir şey yapmak mı: Ben Haskell yazdığı süper kullanışlı yarar işlevi vardı ki? Aldığım en yakın nokta, h$main(h$main2CMainzimain)'un Haskell ana işlevimi tetikleyeceğini fark ediyor.

Answer 1

İşte bunu yapmanın bir yolu. Bu ihraç etmek amacıyla

revString :: String -> String 
revString = reverse 

somethingUseful :: JSString -> IO JSString 
somethingUseful = return . toJSString . revString . fromJSString 

gibi, biz GHCJS.Foreign içinde *Callback işlevlerinden biri aracılığıyla bunu bir geri arama yapmak gerekir, biz bazı yararlı fonksiyonu var varsayalım. Ancak bu dönüş değeri göz ardı ediyorum, bu yüzden ikinci bir argüman haline sonucu koyar bir sarmalayıcı gerekir:

returnViaArgument :: (JSRef a -> IO (JSRef b)) -> JSRef a -> JSRef c -> IO() 
returnViaArgument f arg retObj = do 
    r <- f arg 
    setProp "ret" r retObj 

Benim main geri çağırma işlevi oluşturur ve JavaScript küresel bir şeyden olarak kaydeder:

foreign import javascript unsafe "somethingUseful_ = $1" 
    js_set_somethingUseful :: JSFun a -> IO() 

main = do 
    callback <- syncCallback2 NeverRetain False (returnViaArgument somethingUseful) 
    js_set_somethingUseful callback 

Son olarak, JS tarafta biraz un-sarmalayıcı gerekir:

function somethingUseful (arg) {x = {}; somethingUseful_(arg, x); return x.ret}; 

ve şimdi bizim güzel Haskell-uygulanan işlevi kullanabilirsiniz:

somethingUseful("Hello World!") 
"!dlroW olleH" 

Bu hileyi gerçek dünyadaki bir uygulamada kullanıyorum. Cabal file'da executable'un main-in10 olarak tanımlanan JsInterface.hs'da, main işlevi incredibleLogic_ global java komut değişkeni ayarlarken, JavaScript glue code parametreleri paketlemenin ve paketlerinin açılmasının üstesinden gelir.

Answer 2

Burada, Javascript'ten bir Haskell işlevinin nasıl çağrılacağını gösteren bir örnek verilmiştir. Bu, Joachim tarafından sağlanan örneğe benzer, ancak en yeni ghcjs ile derler ve çalışır.

import GHCJS.Marshal(fromJSVal) 
import GHCJS.Foreign.Callback (Callback, syncCallback1, OnBlocked(ContinueAsync)) 
import Data.JSString (JSString, unpack, pack) 
import GHCJS.Types (JSVal) 

sayHello :: String -> IO() 
sayHello name = print $ "hello, " ++ name 

sayHello' :: JSVal -> IO() 
sayHello' jsval = do 
    Just str <- fromJSVal jsval 
    sayHello $ unpack str 

foreign import javascript unsafe "js_callback_ = $1" 
    set_callback :: Callback a -> IO() 

foreign import javascript unsafe "js_callback_($1)" 
    test_callback :: JSString -> IO() 

main = do 
    callback <- syncCallback1 ContinueAsync sayHello' 
    set_callback callback 
    test_callback $ pack "world" 

Test, Haskell'den Haskell'e geri çağrı yapan Javascript koduna çağrı yaparak çalışır. "Js_callback_" değişkeni, bir dizge argümanını alan bir işlev olarak kullanmak için Javascript içinde kullanılabilir hale gelir.