在 Haskell 中展开函数

Question

在我的作业中，我们得到了一个正则表达式。我必须返回 e-NFA。我正在尝试构建delta 函数。到目前为止，我有：

module ConsENFA where

import Data.Set (Set, fromList, singleton, empty)
import RegEx
import ENFA

epsilon :: RegExp Char
epsilon = Symbol 'e'

deltaTest :: RegExp Char -> Int -> (Int -> Char -> Set Int)
deltaTest (Symbol sym) start = delta
    where
        delta :: Int -> Char -> Set Int
        delta start sym = singleton (start + 1)

deltaTest (Star re) start = delta
    where
        delta :: Int -> Char -> Set Int
        delta = deltaTest re (start + 1)
        delta start epsilon = fromList[1, 3]

我收到了错误

ConsENFA.hs:19:9: error:
Conflicting definitions for `delta'
Bound at: ConsENFA.hs:19:9-13
          ConsENFA.hs:20:9-13

我认为这意味着我不能像那样扩展模式匹配，我不能添加更多状态。

我首先为单个标签定义delta，然后在之前定义的delta 中添加更多定义，但它不起作用。正确的做法是什么？

Answer 1

函数的所有定义必须具有相同的arity，即相同数量的函数参数。你用三行定义delta：

1. 第一行是类型签名。
2. 第二行是delta 的定义，元数为零（= 左侧没有参数）
3. 第三行是delta 的另一个定义，有两个元数（= 左侧的两个参数）

这两个定义有不同的数量，所以编译器会告诉你有冲突的定义。

问问自己：delta 的内在行为是什么？编译器将按照定义的顺序查看delta 的定义，并选择模式匹配成功的第一个。由于第一个定义中没有参数（因此没有要匹配的模式），它总是会成功并且永远不会调用第二个定义。