Haskell "gdzie" wcięcie: dlaczego musi być wcięty w przeszłości identyfikator?

Question

ten kod:

import Data.Char (digitToInt) 

myInt :: String -> Int 
myInt [] = error "bad input: empty string" 
myInt (x:xs) 
    | x == '-' = -1 * myInt xs 
    | otherwise = foldl convert 0 (x:xs) 
    where convert acc x 
     | x `elem` ['0'..'9'] = 10 * acc + digitToInt x 
     | otherwise   = error ("bad input: not an int - " ++ [x]) 

zawodzi:

Prelude> :l safeListFs.hs 
[1 of 1] Compiling Main    (safeListFs.hs, interpreted) 

safeListFs.hs:9:8: parse error (possibly incorrect indentation) 
Failed, modules loaded: none. 

Ale ta wersja:

import Data.Char (digitToInt) 

myInt :: String -> Int 
myInt [] = error "bad input: empty string" 
myInt (x:xs) 
    | x == '-' = -1 * myInt xs 
    | otherwise = foldl convert 0 (x:xs) 
    where convert acc x 
      | x `elem` ['0'..'9'] = 10 * acc + digitToInt x 
      | otherwise   = error ("bad input: not an int - " ++ [x]) 

jest ok:

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

Nie mogę zrozumieć, dlaczego te dwa ostatnie w wgniecenia mają znaczenie.

Answer 1

Zasadniczo, ponieważ Haskell zauważa kolumnę gdzie pierwszy znak zakaz przestrzeń where pojawia się po (w tym przypadku c z convert) i traktuje po linie rozpoczynające się w tej kolumnie jako nowe definicje wewnątrz where.

Linia, która kontynuuje definicję poprzedniej linii (np. Twoje osłony |), musi być wcięta po prawej stronie c, tak jak w wersji, która działa.

Linia wcięta po lewej stronie c (nie ma żadnych w twoim przykładzie) znajdowałaby się poza where (na przykład początek następnej funkcji najwyższego poziomu).

To kolumna pierwszego znaku następnego where, który jest bardzo ważny, nawet jeśli jest to w nowym wierszu:

where 
    convert acc x 
     | ... 
    anotherFunction x y 

    ^

Answer 2

Ponieważ powinieneś zawsze wciskać definicje funkcji. (W twoim przypadku wszystkie rzeczy rozpoczęte w tej samej kolumnie w where są uważane za definicję "tego samego poziomu").

Answer 3

Zagnieżdżony kontekst musi być dalej wcięty niż otaczający kontekst (n> m). Jeśli nie, L zawodzi, a kompilator powinien wskazać błąd układu.

Od http://www.haskell.org/onlinereport/syntax-iso.html.

To też nie:

import Data.Char (digitToInt) 

myInt :: String -> Int 
myInt [] = error "bad input: empty string" 
myInt (x:xs) 
| x == '-' = -1 * myInt xs 
| otherwise = foldl convert 0 (x:xs) 
where convert acc x 
     | x `elem` ['0'..'9'] = 10 * acc + digitToInt x 
     | otherwise   = error ("bad input: not an int - " ++ [x]) 

Uh, jestem zły na wyjaśniania rzeczy. Jest nowy kontekst po słowie kluczowym where, ponieważ możesz podać więcej niż jedną funkcję - pamiętaj, że twój program zaczyna się od niejawnego module Main where, więc myślę, że logiczne jest wymaganie wcięcia części funkcji, tak jak na poziomie modułu (kompilator oczekuje kolejnego identyfikatora na kolumnach M i N oraz kolejnych wcięć w ciałach deklaracji).

fun = ... 
^ where fun' = ... 
M  ^
     N 
     fun'' = ... 
fun2 = ...