haskell - 用于表示具有 0 到 5 个值的列表的类型

Question

我有一个练习，我必须定义一个类型来表示具有 0 到 5 个值的列表。首先，我认为我可以像这样递归地解决这个问题：

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

但我认为这不是正确的方法。你能不能给我一个思考的食物。

标签： haskell

Answer 1

我不会为你回答你的练习——对于练习，最好自己找出答案——但这里有一个提示可以引导你找到答案：你可以将一个包含 0 到 2 个元素的列表定义为

data List a = None | One a | Two a a

现在，考虑一下如何将其扩展到五个元素。