2011-10-11 22 views
7

Tip tanımlarını veya tercihen her türlü ifadeyi kabul eden bir Haskell yorumlayıcısı var mı?A Haskell yorumlayıcısı/w tür tanımları

Zaten ghci ve hugs denedim ve bunların hiçbiri bunu yapmıyor. Bunun zor/imkansız olması için belirli bir nedeni var mı?

+0

Ne yapmaya çalışıyorsunuz? Yine de HBC'nin keyfi Haskell ifadelerini kabul ettiğini düşünüyorum. Bunun için ghci'de kendi başına bir tür tanımını sağlayamayacağınızı unutmayın, bunun için ekli bir işlev olmayacaktır, ancak 'fx = x + 1 :: (Num a) => a -> a' olmalıdır iş. – ivanm

+0

Acılarını paylaşıyorum. Bende tonlarca test.hs var. Daha da kötüsü, ghci konsolu, en azından sistemimde (az önce bildirdiğim hata) doğru bir şekilde macun eylemiyle uğraşmaz. – gawi

+0

@ivanm Aslında şu anda yeni başlıyorum ve henüz özel bir şey yapmaya çalışmıyorum. Sadece merak ettim. – julkiewicz

cevap

3

Geleneksel olarak, bu cevabı GÇ monad iç interaktif istemi hayatlarını yazılı olduğu kod olmuştur. Prelude>'un arkasına saklanan bir gölge main = do varmış gibi. Bu şekilde düşünün ve tip bildirimleri ve üst düzey bildirim sözdizimi yokluğu tüm let ifadeleri gibi mantıklı.

Fakat Ptival haklı: Bu, kısa bir süre için endişelenmemize gerek yok gibi görünüyor.