Haskellのインデントについての質問です

Question

let a_num x = if x > 100
              then x
              else x * 2

『すごいHaskell たのしく学ぼう！』に
このような例が載っています。
しかし、バージョンの違いからなのか

Main.hs:3:25:
    parse error (possibly incorrect indentation or mismatched brackets)

こんな感じのエラーが出てしまい
お手上げです。
助けてください。

Answer 1

ここのコードブロックだと 1行目が左に寄ってしまうので、
実際にどう書いてるかわかりませんが

let a_num x = if x > 100
then x
else x * 2

こういうのはエラーになります。

-- 1行目を使いたくないので書いたコメント
let a_num x = if x > 100
              then x
          else x * 2

elseがthenより手前でもエラーです。

それ以外だとちょっとわからないですが、以下はうまくいきます。

d:\work\tt43958>ghci
Prelude> :set +m
Prelude> let a_num x = if x > 100
Prelude|           then x
Prelude|           else x * 2
Prelude|
Prelude> a_num 9
18
Prelude> :q
Leaving GHCi.

( :set +m は複数行入力モード。最後に空のエンター押せばそこまでの行を処理してくれる。)
( やめるときは :unset +m )

• sample.hs

import System.IO

main :: IO ()
main = do
   let a_num x = if x > 100
              then x
              else x * 2
   putStrLn (show (a_num 10))

コンパイルして実行

d:\work\tt43958>ghc sample.hs
[1 of 1] Compiling Main             ( sample.hs, sample.o )
Linking sample.exe ...

D:\work\tt43958>sample.exe
20

ちなみにバージョンは

>ghc --version
The Glorious Glasgow Haskell Compilation System, version 8.0.1

で、環境はWindows 10です。

Comments

[Bolshikh_i_mal]

mainはあった方がいいのでしょうか？

[flied_onion]

いや、無くていいですよ、例の一つとしてあげただけです（ソースファイルだとそのまま検証しやすいかなと思って。）
もちろん使ってもいいんですけど、mainが出てくると IOというのを気にしないといけなくなって最初は逆に大変じゃないかな思います。

私が前にその本読んでた時どうやってコードをためしてたのかあまり覚えてなくていろいろ書いてみました。混乱させてしまったのならごめんなさい。

[Bolshikh_i_mal]

でも、ないと
自分のmacでもpaiza.ioで試しても
Main.hs:3:25:
parse error (possibly incorrect indentation or mismatched brackets)
このエラーが出るんですよね。

もうちょっと本を読み進めてみます。

[flied_onion]

なるほど。サンプルだけのファイル状態で実行することができなかったということですね。
とりあえずpaizaに関しては実行することが前提だと思うのでmainが無いと(開始点が決まらない -> 実行可能プログラムが作れないので)ダメでしょう。Macの方はどういきついたかわからないですが試行錯誤で今の状況かと思いますが、ghcもまた実行可能ファイルを作成するためmainが必要です。

最初にちょっと気にはなってたんですけど(なくてもいいんじゃないかなと思ってた程度ですが)、letを消してください。
そして、ghci をhsファイル(sample.hsだったとします）があるところで起動して、
そのファイルをロードします。

Prelude> :l sample.hs
[1 of 1] Compiling Main ( sample.hs, interpreted )
Ok, modules loaded: Main.
*Main>

になると思います。するとモジュールとして読み込まれ、
*Main> a_num 9
18
*Main>
と使えると思います（私はこんな感じで大体やってました）

ちょっとうまく説明はできない(わたしもそのあたり詳しくないため)ですが、
let を使わなくていい場面でletを使っていて、haskellは letを使う状況可(関数内とか)にあるはずだと考え、「ならば外側の関数はどこだ」とエラーを出していたんだと思います。

[Bolshikh_i_mal]

本当にありがとうございました。
これで、前に進めます！！

Answer 2

最近Haskellさわっていないので良く覚えていませんが、
thenとelseはインデントをifより下げる必要があるようです。

Haskell/Indentation - Wikibooks, open books for an open world
https://en.wikibooks.org/wiki/Haskell/Indentation

Haskellのインデント
http://blog.kzfmix.com/entry/1201530273