本地数据类型定义

Question

在Haskell中实现有限状态自动机，我想这样做：

zigzag :: Int -> Int -> [Int]
zigzag low upp = fsa Incr low

   where
      data State = Incr | Decr

      fsa :: State -> Int -> [Int]
      fsa state n
         = n : case state of
                  Incr | n < upp   -> fsa Incr (n + 1)
                       | otherwise -> fsa Decr (n - 1)

                  Decr | n > low   -> fsa Decr (n - 1)
                       | otherwise -> fsa Incr (n + 1)

但我不能：

error: parse error on input ‘data’

是否有更好的方法，而不是将State定义与zigzag分开？

如果我可以使用显式枚举或数据类型，我不想根据布尔值或数字隐式编码状态标识符。本地函数定义旨在实现模块化，以保护描述性命名空间的完整性免受单一关系/使用混乱。我不明白为什么应该区别对待这方面的数据定义。

Answer 1

您不能在本地放置data个定义，只能在顶层。但是，您可以使用Bool和if而不是自定义数据类型case。

或者，如果您不想导出data类型，可以将函数和数据类型放在自己的模块中。

它has been proposed包含此功能，但由于某些原因它不是优先事项。我猜通常人们将类型视为顶级函数之间的高级协议，通常不在where级函数之间。