Haskell ifadesi içeren bir dizenin türden çıkarımı

Question

Dizge olarak verilen Haskell ifadesinin türünün bir temsilini almak için (hızlı ve kirli) bir yönteme ihtiyacım var. Ancak, dokümantasyon oldukça hızlı beni kaybeder -

• Kullanım GHC API:

  Şu anda 3 seçenek var.

• Başka bir tür çıkarsama aracı kullan - haskell-type-exts denemek için önerildim, ancak en önemsiz ifadelerin tümünü yazamaz. Böyle başka bir araç bilmiyorum. Kendi HM inferer
• Rulo - Ben sürece bu önleyeceğini kesinlikle gerekli

Hatta anlamda tam bir çözüm gerek kalmamasıdır makul bir temel alt kümeyi yazabilirsiniz bir kütüphane/aracı Haskell benim için yeterli olur.

Bunu başarmanın en kolay yolu nedir?

Answer 1

hint package, GHC API'sine biraz daha kısıtlı, ancak belki de daha anlaşılır bir arabirim sunar. Belki de amaçlarınız için yeterli mi? Aksi halde, GHC API'sini doğrudan nasıl kullanacağınıza dair daha iyi bir fikir edinmek için kaynaklara bakabilirsiniz. http://www.haskell.org/haskellwiki/Implementations

çalıştırırsanız

import Language.Haskell.Interpreter 

main :: IO() 
main = do 
    r <- runInterpreter $ do 
    setImports ["Prelude"] 
    typeOf "map (+1)" 
    either print putStrLn r 

, bu

Num b => [b] -> [b]