Haskell вдавливания в сделай блок

Question

Я реализую арифметические примеры дерева выражений из программирования книги в Haskell по Хаттону, и я получаю ошибку синтаксиса:

parse error (possibly incorrect indentation or mismatched brackets)

firstgrm = do t <- secgrm 
      (do { symbol "##"; 
       o <- firstgrm; 
      return (O (t ## o));} 
     +++ return t)       -- parse error here 

Answer 1

Где фигурные скобки опущен, Haskell использует off-side rule; блоки выражаются их отступом. Wikibook имеет ладно описание того, как работает Haskell отступы:

All grouped expressions must be exactly aligned. On the first line, Haskell counts everything to the left of the expression as indent, even though it is not whitespace.

В вашем примере, у вас есть два do блоков. Внутренний использует фигурные скобки, а внешний - нет. Вы можете получить код для компиляции путем добавления фигурных скобок к наружному блоку do:

firstgrm = do { t <- secgrm; 
      (do { symbol "##"; 
       o <- firstgrm; 
      return (O (t ## o));} 
     +++ return t) } 

... хотя я действительно не рекомендую.

Обычно всегда опустить брекеты. Правила отступов также затрудняют размещение блока do в круглых скобках, поэтому мы обычно избегаем этого.

firstgrm = do t <- secgrm 
       x t +++ return t 
    where 
    x t = do symbol "##" 
      o <- firstgrm 
      return (O (t ## o))