türünü ulaşamasa 'a' 'dize'

Question

ben Haskell bir derleyici tür yapıyorum ve bu soruna geldi şununla:

:

Bu benim şu an için var kodudur

data Command a = Input a | Print a 

readCommand:: Read a => String -> Command a 
readCommand entrada 
    | tokens!!0 == "INPUT" = Input (tokens!!1) 
    | tokens!!0 == "PRINT" = Print (tokens!!1) 
    where 
     tokens = words entrada 
     listInstr = lines entrada 

ama bu hatayı alıyorum:

Couldn't match type 'a' with 'String'; 'a' is a rigid type variable bound by the type signature for readC:: Read a => String -> Command a

Expected type: [a] ; Actual type: [String]

bu hata ben bir dize, tip var işlevini ilan etmeleri halinde '' çok bir dize olamaz anlamına mı geliyor? Yardım için

Teşekkür

Answer 1

hata sonucunda Command a söz verirsen, türe Command a bir sonucu çıkarmak gerektiği anlamına gelir senin fonksiyon isteklerinin arayan (sürece koşulunu karşıladığı sürece Read a) . Yani senin tipin imza Aşağıdaki kod derlemek sağlar:

x :: Integer 
x = readCommand "" 

y :: String 
y = readCommand "" 

z :: [Double] 
z = readCommand "" 

readCommand bu kullanımların tamamı bu türden olan değerlerini üretmek için muktedir yüzden senin tipin imza göre readCommand ihtiyaçları geçerlidir. Tanımladığınız şekil, hangi türden olursa olsun her zaman bir Command String üretecektir. Ve bu sizin türünüzde söz verdiğinizden beri bir derleme hatası alırsınız.

Command String s ürünümüzü üretmek isterseniz, readCommand :: String -> Command String numaralı telefon ürününüzün türüne ihtiyacınız var. Türünüzün şu anda olduğu gibi olmasını istiyorsanız, istenen türden değerler üretmeniz gerekir.

Read a gereksinim duyduğunuzu unutmayın, ancak işlevini asla kullanmayın; bu, Read a gerektiren noktadır. `... = Girdi ($ belirteçleri !! 1 okuyun)` arayan nerede