如何在签名上匹配空列表类型包装器类型针对类型签名，函数返回 Nil

如何解决如何在签名上匹配空列表类型包装器类型针对类型签名，函数返回 Nil

仍然是关于“PureScript by example”的第 3 章（非相关 previous question）。函数 removeDuplicates 在测试时返回 Nil 并且在 repl 上返回 Nil 而不是 AddressBook 这有点令人失望，因为我期望编译器可以防止这种情况。另一方面，我似乎也无法匹配空地址簿 (type AddressBook = List Entry)。

代码（简化省略不相关部分）：

emptyBook :: AddressBook
emptyBook = empty

findEntry :: String -> String -> AddressBook -> Maybe Entry
findEntry firstName lastName = head <<< filter filterEntry
  where
  filterEntry :: Entry -> Boolean
  filterEntry entry = entry.firstName == firstName && entry.lastName == lastName

-- implementation which fails test/breaks compiler warranty

import Data.AddressBook
import Prelude

import Control.Plus (empty)
import Data.List (List(..),filter,foldl,head,null,tail,(:))


removeDuplicates :: AddressBook -> AddressBook
removeDuplicates book = skipIfDup emptyBook book

skipIfDup :: AddressBook -> AddressBook -> AddressBook
skipIfDup newBook Nil = newBook
skipIfDup newBook (entry : book) =
    skipIfDup newerBook book
    where
    newerBook :: AddressBook
    newerBook = 
        case (findEntry entry.firstName entry.lastName newBook) of
            nothing -> newBook
            Just e -> insertEntry e newBook

除了 Nil 之外，我还尝试了 Data.List.null 和 emptyBook（但我相信符号会反弹），结果相同。使用 [] 不会编译，并将案例带入主案例的 if-else 语句，但随后编译器抱怨未转换 Nil 用例。

这是怎么回事？为什么编译器允许返回 Nil 的函数？我应该如何使用 null 或任何必要的符号正确测试空列表/地址簿的用例？

REPL 输出：

> removeDuplicates book with duplicate
Nil

测试用例输出：

☠ Failed: Exercise - removeDuplicates because expected ({ address: { city: "Faketown",state: "CA",street: "123 Fake St." },firstName: "John",lastName: "Smith" } : { address: { city: "Arlen",state: "TX",street: "84 Rainey St." },firstName: "Peggy",lastName: "Hill" } : { address: { city: "Springfield",state: "USA",street: "740 Evergreen Terrace" },firstName: "Ned",lastName: "Flanders" } : Nil),got Nil

解决方法

与 C# 或 JavaScript 不同，或者无论您来自何处，PureScript 中的 Nil 和 null 都不是特殊/神奇的“未初始化引用”一类的东西。 PureScript 根本没有这些。就 PureScript 编译器所知，一切总是“定义”的。

Nil 只是 List 构造函数的名称。看看the List definition：

data List a = Nil | Cons a (List a)

它只是一个带有两个构造函数的 sum 类型，其中一个名为 Nil。可以命名为 Abracadabra 并仍然工作相同，但显然库作者希望名称具有某种意义，我猜？愚蠢的人。所以在这种情况下 Nil 应该表示“空列表”。

同样，null 只是一个函数名。 Here's its definition：

null :: forall a. List a -> Boolean
null Nil = true
null _ = false

它只返回 true 是给定的列表是空的，否则返回 false。

---

现在，您的情况的实际问题在于：

    newerBook = 
        case (findEntry entry.firstName entry.lastName newBook) of
            Nothing -> newBook
            Just e -> insertEntry e newBook

看看您在做什么：您尝试在 newBook 中查找条目，如果找到，则立即将相同的条目插入回 newBook。这样 newBook 现在会有两个这样的条目。这真的是你的意思吗？

根据我对原始问题的模糊理解，您真正想要做的是将 entry 添加到 newBook，如果它没有在那里。如果它在那里，请不要理会newBook：

    newerBook = 
        case (findEntry entry.firstName entry.lastName newBook) of
            Nothing -> entry : newBook
            Just _ -> newBook