Sérialisation des fonctions dans Haskell

Question

Existe-t-il un moyen de sérialiser (lire/afficher) des fonctions dans Haskell?

Par exemple étant donné que:

:t (+1) 
(+1) :: Num a => a -> a 

Je veux être en mesure d'avoir quelque chose comme:

read "(+1)" :: Num a => a -> a 

Malheureusement, cela renvoie une erreur:

Could not deduce (Read (a -> a)) arising from a use of `read' 
from the context (Num a) 
    bound by an expression type signature: Num a => a -> a 
    at <interactive>:1:1-30 
Possible fix: 
    add (Read (a -> a)) to the context of 
    an expression type signature: Num a => a -> a 
    or add an instance declaration for (Read (a -> a)) 
In the expression: read "(+1)" :: Num a => a -> a 
In an equation for `it': it = read "(+1)" :: Num a => a -> a 

Answer 1

Vous pouvez utiliser quelque chose comme le package plugins pour lire du code lors de l'exécution. L'affichage est, comme le dit augustes, impossible cependant.

Un exemple de la façon dont il pourrait être utilisé:

import System.Eval.Haskell 

main = do 
    mf <- eval "(+1) :: Int -> Int" [] 
    case mf of 
    Just f -> print $ (f :: Int -> Int) 0 
    _  -> putStrLn "Couldn't eval for some reason. :(" 

Answer 2

Il est (en général) impossible de montrer une fonction, mais en lire une est possible en principe si vous avez un compilateur Haskell disponible à ru ntime.