「メインの型署名には付随するバインディングがありません」という意味は何ですか？

Question

私はこの単純なプログラム

main :: IO() 
def main = do 
    putStrLn "Was lernst du?" 
    sprache <- getLine putStrLn ("Viel Erfolg beim " ++ sprache ++ " lernen!") 

をコンパイルしようとしているが、私は私のターミナルで次の答えを得る：

ghc --make waslernstdu1.hs 
[1 of 1] Compiling Main    (waslernstdu1.hs, waslernstdu1.o) 

waslernstdu1.hs:2:1: 
    The type signature for ‘main’ lacks an accompanying binding 
assigals-Air:documents thommymuc2004$ 

どのように私はこのエラーを解決することができますか？

Answer 1

main関数（つまりmain :: IO()）にタイプシグネチャを指定しましたが、実装を提供していません。実装は、main = <the implementation>の形式になります。

Answer 2

あなたの定義にmainの前にdefを削除する必要があります。 - waslernstdu1.hs メイン:: IO（） DEFメイン=が行う putStrLn「たlernstデュ

main :: IO() 
main = do 
    putStrLn "Was lernst du?" 
    sprache <- getLine putStrLn ("Viel Erfolg beim " ++ sprache ++ " lernen!")