Haskellのエラーやはり独特なものが多いのですかね？ Parse error: naked expression at top level

Question

###該当のエラー

Main.hs:4:1:
    Parse error: naked expression at top level
    Perhaps you intended to use TemplateHaskell

該当のソースコード

n = getLine >>= putStrLn
x = []
y  = n
x ++ y
main = print y

試したこと

整数を受け取り、一個目は空のリストへ格納してそれは以降はappendして行きたいです。

補足情報

Python3のユーザーですが
別の言語も覚えようと思いやってきましたど新人です。

やりたい事はpython3で書くと

li = []
i = int(input())
li.append(i)
print(li)

こんな感じです。

Comments

[quickquip]

質問は"Haskellのエラーやはり独特なものが多いのですかね？"ですか?

[igrep]

ひとまず問題のエラーを解決することが目的なら、問題のエラーメッセージである「Parse error: naked expression at top level」を質問のタイトルに含めてください。

[kakkun61]

やりたいことを Python で提示していただいた方が回答が得やすいかもしれません。

[quickquip]

結局知りたいことがなんなのかわからないという。

Answer 1

取り急ぎ問題のエラーについて解説します。

Haskellでは、残念ながらPythonのように、
x ++ y というような、「計算式」を「トップレベル」に書くことができません。
x ++ yは「xとyを結合する」ための「計算式」です。

問題のエラーでは

Main.hsの4行目の1桁目に「計算式」があるよ！
と言っています。

「トップレベル」という単語は、単純に言うと、
「ソースコードの中で1桁もインデントされてない箇所」
です。

これは、Haskellでは「あらゆる『計算式』の計算はmain関数から始める」というルールがあるため、
main関数の中以外に「計算式」を書いてもいつ計算するのかわからなくなってしまうためです。

（余談ですがこれは全くHaskell固有の話ではなく、C言語やJavaなどにも同じルールがあります）

直すには、 x ++ y という「計算式」を別の変数に代入してください。
例えば

appended = x ++ y

のように書いて、appendedという変数にx ++ yを代入してあげてください。

これを直した後も、多くのエラーが出るかと思います。
わからなくなったら別の質問を作ってください。

新しい言語を学ぶこと、特にHaskellのような、ほかのプログラミング言語と異なる特徴が多い言語を学ぶことは、非常に大変なことかと思います。
辛抱強く取り組んでいただけると幸いです。

Comments

[退会済みユーザー]

とっても励みになります。ありがとうございます。

Answer 2

ソースコードから想像するに、やりたいことはこういうことでしょうか？（Wandbox）

main :: IO ()
main = do
  n <- readLn :: IO Int
  -- readLn で1行読み込み、Int 型の値に変換します
  -- readLn はいろいろな型の値を読むことができるので「Int 型の値を読む」と明示します
  -- readLn の型が IO Int となっているのは readLn が手続きであることを表わしています
  -- do 式の中で <- を使うと手続きの結果を受け取れます
  let
  -- do 式の中で変数を使う場合は let 構文で導入します
    x = []
    y = [n]
    -- 後で ++ するので、y は [Int] 型でないといけません
    x' = x ++ y
    -- Haskell では変数の再束縛ができないので、新しく変数を導入します
  print x' -- ==> [1]

整数を受け取り、一個目は空のリストへ格納してそれは以降はappendして行きたいです。

こちらから想像すると、こういうことでしょうか？（Wandbox）

import System.IO (isEOF)

main :: IO ()
main =
  loop []
  -- 下で定義する loop 関数を呼びます
  -- Haskell では組み込みのループがないため再帰関数を使います
  -- Data.Traversable.for を使う方法もあります
  where
    loop :: [Int] -> IO ()
    loop l = do
      -- l の部分が更新される値です
      eof <- isEOF
      if eof
        then return ()
        -- EOF の場合はループを抜けます
        else do
          n <- readLn
          let l' = l ++ [n]
          print l'
          loop l'
          -- 更新後の値である l' を渡し loop 関数を呼びます

質問者のコードとそのエラーの解説をします。

n = getLine >>= putStrLn
-- 「これは getLine をして、読み込んだ値を putStrLn に渡す」という「手続き」を表わします
-- 「手続き」そのものなので実行されておらず n の型は IO () となります
x = []
y  = n
x ++ y
-- Parse error: naked expression at top level
-- トップレベルに束縛や import 以外の式は書けません
main = print y

---

意図した動作をする Python コードが追記されたので、それに対応する Haskell コードを追記します。

main :: IO ()
main = do
  li = []
  i <- readLn :: IO Int
  let li' = li ++ [i]
  print li'

Comments

[退会済みユーザー]

とっても細かくありがとうございます！
doはまだわからないことが多いですが
案外コードが短く書ける驚きで希望が
持てました。