リストの長さを調べるためにコードを改善するにはどうすればよいですか？

Question

再帰を使用してリストの長さを調べるコードを実行していますが、多くのエラーがあります。私は非常に初心者であり、私はうまくハスケルできません。ここ はコードです：

longListe :: [a] -> a 

longListe [] = error "Empty liste" 
longListe [x]= 1 
longListe n = 1 + longListe (n-1) 
main = print $ longListe 

とエラー：

No instance for (Num a) arising from the literal ‘1’ 
    Possible fix: 
     add (Num a) to the context of 
     the type signature for longListe :: [a] -> a 
    In the expression: 1 
    In an equation for ‘longListe’: longListe [x] = 1 

4-1-a.hs:6:31: 
    No instance for (Num [a]) arising from a use of ‘-’ 
    In the first argument of ‘longListe’, namely ‘(n - 1)’ 
    In the second argument of ‘(+)’, namely ‘longListe (n - 1)’ 
    In the expression: 1 + longListe (n - 1) 

4-1-a.hs:7:8: 
    No instance for (Show ([a0] -> a0)) 
     (maybe you haven't applied enough arguments to a function?) 
     arising from a use of ‘print’ 
    In the expression: print 
    In the expression: print $ longListe 
    In an equation for ‘main’: main = print $ longListe 

誰かが私を助けてくださいすることができます。ありがとう

Answer 1

問題はあなたの関数の型定義にあります：longListe :: [a] -> a。

数値のリストにlongListeを呼び出すと正常に動作します。たとえば、longListe [1,2,3]と入力すると、入力は[Int] -> Intになります。

ただし、文字列のリストの長さを取得しようとすると、このタイプは[String] -> Stringになります。これはではなく、数字を返すことができるので、あなたが望むものはです。

あなたがいることを示す取得エラー：リテラルから生じる（ヌムa）のために

ないインスタンスを「1」

あなたは数を返し、あなたの入力した数値演算を行うので、コンパイラはaが数字であることを予期しており、したがって、エラーは(Num a)と言います。

定義をlongListe :: [a] -> Intに変更すると、よりうまくいくはずです（実際はまだ動作しませんが、別の理由でこれを解決するようにします） 。

また、0を返す代わりに空のリストがエラーになる理由はありますか？