2011-10-11 15 views
7

Czy istnieje interpreter języka Haskell, który akceptuje definicje typów lub najlepiej wszystkie rodzaje instrukcji?Interpreter Haskella/w definicje typu

Próbowałem już ghci i hugs i żaden z nich to nie robi. Czy istnieje jakiś szczególny powód, dla którego jest to trudne/niemożliwe?

+0

Co próbujesz zrobić? Chociaż uważam, że HBC był w stanie zaakceptować arbitralne oświadczenia Haskell. Zauważ, że nie możesz po prostu podać samej definicji typu w ghci, ponieważ nie będzie w niej dołączonej funkcji, chociaż "niech fx = x + 1 :: (Num a) => a -> a" powinno praca. – ivanm

+0

Dzielę twój ból. Mam mnóstwo 'Test.hs' kręcących się. Co gorsza, konsola ghci nie zajmuje się poprawnie wklejaniem akcji, przynajmniej w moim systemie (błąd, który właśnie zgłosiłem). – gawi

+0

@ivanm Właściwie, w tej chwili dopiero zaczynam i jeszcze nie próbuję robić nic konkretnego. Właśnie się zastanawiałem. – julkiewicz

Odpowiedz

3

Tradycyjnie, odpowiedź na to był fakt, że kod napisany na interaktywnych szybkich życiu wewnątrz monady IO. To tak, jakby ukrył się za chowając się za Prelude>. Pomyśl o tym w ten sposób, a brak deklaracji typu i składni deklaracji najwyższego poziomu ma sens, podobnie jak wszystkie instrukcje let.

Ale Ptival ma rację: wygląda na to, że wkrótce nie będziemy musieli się o to martwić.