Typ polecenia ciąg zawierający wyrażenie Haskella

Question

Potrzebuję (szybki i brudny) sposób, aby uzyskać reprezentację typu wyrażenia Haskell podanego jako ciąg.

I obecnie zobaczyć 3 opcje:

• Zastosowanie GHC API - jednak dokumentacja traci mnie dość szybko.
• Użyj innego narzędzia do wnioskowania typu - zaproponowano mi wypróbowanie typ-ext, ale nie udało się wpisać wszystkich, ale najbardziej trywialnych wyrażeń. Nie znam żadnego innego takiego narzędzia.
• rolki moje własne inferer HM - Chciałbym tego uniknąć, chyba że jest to absolutnie konieczne

I nie trzeba nawet kompletne rozwiązanie, w tym sensie, że biblioteka/narzędzie, które może wpisać rozsądny podstawowy podzbiór Haskell byłby dla mnie wystarczający.

Jaki jest najprostszy sposób na osiągnięcie tego?

Answer 1

Interfejs hint package oferuje nieco ograniczony, ale być może bardziej zrozumiały interfejs interfejsu API GHC. Być może jest to wystarczające dla twoich celów? Jeśli nie, możesz spojrzeć na źródła, aby uzyskać lepszy pomysł, jak bezpośrednio korzystać z interfejsu API GHC.

Oto przykładowy program:

import Language.Haskell.Interpreter 

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

Jeśli uruchomić ten drukuje

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