Haskell'de fonksiyonların seri hale getirilmesi

Question

Haskell işlevlerini serileştirmenin (okuma/gösterme) bir yolu var mı? genel olarak (

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

Çalışma zamanında kodu okumak için plugins paketi gibi bir şey kullanabilirsiniz. Gösteren, augustss'in dediği gibi, imkansız.

o nasıl kullanılabileceğine bir örnek:

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

O var: Ne yazık ki bu bir hata atar

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

:

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

ben gibi bir şey var edebilmek istiyoruz: Örneğin

göz önüne alındığında) Bir fonksiyonu göstermesi imkansızdır, ancak bir Haskell derleyicinizin ruda bulunması durumunda prensipte okumak mümkündür. ntime.