自定義列表定義

Question

給出（來自Haskell Amuse Bouche演講）

module Part2a where

    data List α = EndOfList
                | Link α (List α)
        deriving Show   -- makes printing out results possible

用法示例：

empty = EndOfList
oneWord = Link "apple" EndOfList
twoWords = Link "banana" (Link "cantaloupe" EndOfList)

問題：“鏈接”功能在哪里定義？

我到處搜索，找不到它。

Answer 1

Link是您的List a類型的第二個構造函數。 它在這里定義：

data List α = EndOfList
            | Link α (List α) -- this line defines the Link constructor

在第二個代碼段中使用它來創建List String類型的值。