haskell - Haskell中函数的序列化

Question

有没有办法在 Haskell 中序列化(读取/显示)函数？

例如，鉴于:

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

我希望能够拥有类似的东西:

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

不幸的是，这会引发错误:

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

(通常)不可能显示一个函数，但是如果您在运行时有可用的 Haskell 编译器，则原则上可以读取一个函数。