haskell - 崩潰的縮進

luckyelement

在real world haskell 里面看到一個例子. 就比葫蘆畫瓢的寫了一遍.
結(jié)果從編譯失敗. 每個字母都檢查了一下, 一模一樣. 最后復(fù)制 例子 , 編譯通過.
最后發(fā)現(xiàn)是縮進的問題.  代碼如下:
正確的代碼如下:
import System.IO
import Data.Char(toUpper)

main :: IO ()
main = do
       inh <- openFile "input.txt" ReadMode
       outh <- openFile "output.txt" WriteMode
       mainloop inh outh
       hClose inh
       hClose outh
   
mainloop :: Handle -> Handle -> IO ()
mainloop inh outh =
    do ineof <- hIsEOF inh
       if ineof
           then return ()
           else do inpStr <- hGetLine inh
                        hPutStrLn outh (map toUpper inpStr)
                        mainloop inh outh

不正確的代碼如下:

import System.IO
import Data.Char(toUpper)

main :: IO ()
main = do
       inh <- openFile "input.txt" ReadMode
       outh <- openFile "output.txt" WriteMode
       mainloop inh outh
       hClose inh
       hClose outh
   
mainloop :: Handle -> Handle -> IO ()
mainloop inh outh =
    do ineof <- hIsEOF inh
       if ineof
           then return ()
           else do inpStr <- hGetLine inh
                   hPutStrLn outh (map toUpper inpStr)
                   mainloop inh outh
編譯的時候提示:

[1 of 1] Compiling Main             ( interactwith.hs, interactwith.o )

interactwith.hs:17:19:
    The last statement in a 'do' construct must be an expression

誰能解釋一下, haskell 的縮進是怎么回事? 應(yīng)該怎么處理. 本來一個小程序, 結(jié)果折騰了一個上午. 非常感謝.

MMMIX

Haskell 通過縮進(稱為 layout) 確定代碼的結(jié)構(gòu)，layout 的作用和 C 的 {} 以及 ; 類似。在網(wǎng)上搜索點介紹資料看看。

btw，如果以前沒有接觸過 Haskell，不宜一開始就看 RWH，可以先看點入門資料，例如 Yet Another Haskell Tutorial 就不錯。

flw

Haskell 的 layout 在 YAHT 里面講的也挺少的。
不過 Haskell 也支持 {} 和分號，因此可以和縮進混合使用。

MMMIX

原帖由 flw 于 2009-1-20 17:44 發(fā)表
Haskell 的 layout 在 YAHT 里面講的也挺少的。

入門足夠了。

不過 Haskell 也支持 {} 和分號，因此可以和縮進混合使用。

{}, ; 只應(yīng)該用在比較特殊的地方，例如很短的幾個語句啥的。

luckyelement

謝謝, 還是之前看書的時候不仔細造成的, 又看了一下規(guī)范,雖然只有幾句話, 已經(jīng)夠用. 現(xiàn)在搞定了.
這種縮進方式, 可以讓程序看起來, 更清晰 和 更嚴禁.

MMMIX

原帖由 luckyelement 于 2009-1-22 11:57 發(fā)表
謝謝, 還是之前看書的時候不仔細造成的, 又看了一下規(guī)范,雖然只有幾句話, 已經(jīng)夠用. 現(xiàn)在搞定了.
這種縮進方式, 可以讓程序看起來, 更清晰 和 更嚴禁.

你這帖子回的就不嚴謹。。。

[ 本帖最后由 MMMIX 于 2009-1-22 12:59 編輯 ]

Magicloud

你把do都拿出來單獨一行，就會發(fā)現(xiàn)縮進很簡單。
do是個語法糖，不單獨寫一行很多時候會導(dǎo)致縮進錯誤，并且會使代碼參差不齊。