-2

早上好！

我正在尝试定义一个列表，该列表包含我之前定义的所有可能的地址类型，并使用列表推导来执行此操作。

以下是我对早期定义的了解，可能对您有所帮助：

data Row = A | B | C | D | E | F | G | H | I | J deriving (Enum, Ord, Show, Bounded, Eq, Read)
data Column = One | Two | Three | Four | Five | Six | Seven | Eight | Nine | Ten  deriving (Enum, Ord, Show, Bounded, Eq, Read)
data Address = Address Row Column deriving (Show, Read, Eq)
data Cell = Cell Address Bool deriving (Show, Read, Eq)

我不确定我是否需要在此解决方案中使用 Cell，但也许。

这是我目前的解决方案，我想知道是否有人对改进它有建议，或者它可能完全是错误的。任何指导将不胜感激！

allAddressesA = [ x * y | x <- [Row] y <- [Column]]

仅供参考，这是一个正式的书面要求：

将 allAddressesA 定义为所有可能的板地址列表。使用使用 Row 和 Column 类型范围的列表理解。

谢谢！我将密切关注这一点，因此请随时提出您需要澄清的任何问题以提供帮助。感谢您花时间阅读本文并可能提供建议:)

4

2 回答 2

9

你写：

这是我目前的解决方案，我想知道是否有人对改进它有建议，或者它可能完全是错误的。

当然可以很容易地测试它是否完全错误。只需输入并询问您的编译器：

allAddressesA = [ x * y | x <- [Row] y <- [Column]]

我的说：

parse error on input `<-'

我想那是错误的。

所以，让我们首先修复语法。列表理解的第二部分（即 之后的部分|）中可能有多个子句，用逗号分隔。这样做会给出：

allAddressesA = [ x * y | x <- [Row], y <- [Column]]

编译器对此有何看法？

Not in scope: data constructor `Row'
Not in scope: data constructor `Column'

确实，Row并且Column是类型构造函数而不是数据构造函数。这意味着您可以使用它们来构建类型表达式，但不能构建“普通”值表达式。

显然，我们走错了路。所以让我们退后几步。

你的Row类型和你的Column类型都在类型类Enum和Bounded. 因此，我们可以轻松地分别生成包含所有行和列指示符的列表：

allRows    = [minBound :: Row    .. maxBound]
allColumns = [minBound :: Column .. maxBound]

（使用minBoundandmaxBound使您的代码比立即使用Aand J，andOne和 and更健壮Ten，因为将构造函数添加到RowandColumn不需要您更改allRowsand的定义allColumns。）

在交互式环境中，我们可以轻松评估这些列表。事实上，印刷allRows给出了：

> allRows
[A,B,C,D,E,F,G,H,I,J]

因为allColumns我们得到

> allColumns
[One,Two,Three,Four,Five,Six,Seven,Eight,Nine,Ten]

现在，由于地址由行和列指示符组成，生成所有可能的地址简单地简化为取所有行和所有列的叉积。有了前面对allRowsand的定义allColumns，我们可以很容易地写出这样的叉积作为列表推导式：

allAddresses = [Address row column | row <- allRows, column <- allColumns]

由于您有 10 个行标志符和 10 个列标志符，因此您最终会得到一个包含 10 x 10 = 100 个地址的列表：

> length allAddresses
100

为了娱乐，让我们打印前 15 个：

> take 15 allAddresses
[Address A One,Address A Two,Address A Three,Address A Four,Address A Five,
Address A Six,Address A Seven,Address A Eight,Address A Nine,Address A Ten,
Address B One,Address B Two,Address B Three,Address B Four,Address B Five]
于 2013-05-03T14:27:52.253 回答
3

这是您的代码的骨架：

allAddressesA = [ Address {- ... -} | x <- [A .. J], y <- [ {- ... -} ]]

{- ... -}用正确的代码替换每个。

data Address = Address Row Column

意味着您可以Address通过使用名为 的构造函数来创建类型的复合数据，该构造函数Address需要两个参数：第一个是 type Row，第二个是 type Column。在指定范围时，我们显示的是数据元素，而不是类型或课程：我们写[1 .. 10]的是 ，而不是[Int]。

于 2013-05-03T14:10:24.990 回答