Serializacja funkcji w Haskell

Question

Czy istnieje sposób na serializację (odczyt/pokaz) funkcji w Haskell?

Na przykład biorąc pod uwagę, że:

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

Chciałbym móc mieć coś takiego:

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

niestety wyrzuca błąd:

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

Możesz użyć czegoś takiego jak pakiet plugins do odczytu kodu w czasie wykonywania. Pokazanie jest jednak, jak twierdzi, niemożliwe.

Przykładem jak to może być stosowane:

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

To (w ogóle) niemożliwe do pokazania funkcji, ale czytanie z nich jest zasadniczo możliwe, jeśli masz kompilator Haskell dostępny w ru ntime.