Haskell 从新类型数据创建列表

Question

这是一项家庭作业。我们得到了一个新类型的矩阵，它是教授对抽象矩阵的实现。我的主要问题是如何创建 Matrix 类型的列表。我需要实现的第一个函数 fillWith 采用一个元组，它是要创建的矩阵的（行数、列数）以及要放置在每个索引处的数据。

module Matrix (Matrix, fillWith, fromRule, numRows, numColumns, 
           at, mtranspose, mmap, add, mult) 
where

-- newtype is like "data", but has some efficiency advantages
newtype Matrix a = Mat ((Int,Int),(Int,Int) -> a)

--fillWith   :: (Int,Int) -> a -> (Matrix a)
--fillWith ix val = Mat ((, 


--trying to create a row of type Matrix
row_matrix :: [a] -> Matrix a
row_matrix ls = Mat ((1, length ls), (\x y -> if x > 1 then undefined else ls !! (y-1)))

Answer 1

您只是缺少一些括号和逗号：

row_matrix ls = Mat ((1, length ls), (\(x,y) -> if x > 1 then undefined else ls !! (y-1)))
                                       ^-^-^--- add these

Mat 是一个元组，其中：

• 第一个元素本身就是一个元组，并且
• 第二个元素是一个将元组转换为a类型值的函数

您可以始终使用where 或let 子句来简化值的构造，例如：

row_matrix as = Mat (bounds, accessor)
  where bounds = (1, length as)
        accessor (i,j) = if i > 1 then undefined else as !! (j-1)

使用where 子句使代码更具可读性。

要实现fillWith，我会遵循相同的方法：

fillWith bounds val = Mat (bounds, accessor)
  where accessor (i,j) = ???

我认为现在很明显 ???应该是。