Serialización de funciones en Haskell

Question

¿Hay alguna forma de serializar (leer/mostrar) funciones en Haskell?

Por ejemplo teniendo en cuenta que:

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

Deseo ser capaz de tener algo como:

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

Desafortunadamente esto arroja un error:

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

Puede usar algo como el paquete plugins para leer el código en tiempo de ejecución. Mostrar es, como augusto dice, imposible.

Un ejemplo de cómo se podría utilizar:

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

Es (en general) imposible de mostrar una función, pero leer uno es posible en principio si tienes un compilador Haskell disponible en ru ntime.