wrapper C/C++ per Haskell IO monad

Question

Voglio chiamare una funzione Haskell da C/C++. Ho già letto alcuni tutorial relativi a questo argomento, ma le chiamate di IO Monade non sono trattate in esse. In particolare, vorrei chiamare una funzione che utilizza la funzione interact (interact :: (String -> String) -> IO()).

• Non capisco come utilizzare le funzioni in questo caso?
• Come posso dichiarare la funzione in wrapper C/C++?
• Come verrà trasferito il controllo di input/output standard tra C/C++ e Haskell (nel codice C/C++)?

Answer 1

Ho intenzione di mantenere questa risposta relativamente breve perché la maggior parte di questo è contemplata nello FFI documentation.

È possibile utilizzare le funzioni chiamandole per nome in C. Le funzioni devono essere dichiarate come foreign export e parallele alla sintassi foreign import per le funzioni di chiamata definite in un modulo C in Haskell. In C, devi dichiarare la funzione come extern e assegnargli una normale firma di tipo.

La vostra funzione interact non può essere dichiarato direttamente perché fa riferimento a tipi che non sono definiti in C. È possibile definire e scrivere una funzione correlata che chiama interact in Haskell:

interact_hs :: FunPtr (CString -> CString) -> IO() 

Questa funzione potrebbe quindi utilizzare il suo argomento (con il wrapping) per chiamare interact.

In C questa funzione, allora appare come:

extern void interact_hs(char*(*f)(char*)); 

o qualcosa di simile, la mia sintassi puntatore a funzione è arrugginito.

Per chiamare effettivamente questa funzione da C, è necessario inizializzare il runtime di Haskell (trattato nella documentazione), quindi chiamare la funzione, a quel punto il controllo dell'esecuzione passa ad Haskell. Una volta che la funzione completa e restituisce, il controllo di esecuzione passa di nuovo in C.

Altre risorse utili per lavorare con la FFI:

• GHC documentation
• Real World di chapter sulla FFI
• Edward Z Haskell Yang blog post series sul preprocessore FFI e c2hs

Sentiti libero di suggerire altri link utili!