Question

如何在Haskell设立一个职能,将第五部分从一个清单中删除。

与此类似:

fifth [] = []!!4

如果返回:

*Main> fifth [1,2,3,20,30,40]
30

Answer 1

简单使用:

fifth :: [a] -> a
fifth l = l !! 4

如你所建议的那样使用<代码>fifth[ ]是错误的,因为这一模式会与空名单相对应——你只是想把一个变称与完整的名单挂钩,以便你能够使用<代码>!。

你们甚至可以把职能定义为:

fifth :: [a] -> a
fifth = (!!4)

这里我们使用partial application<: 你通常认为<代码>!是一种具有两个论点的职能:清单和分类。我们可以向它提供一种论点,并取得一项新职能(fifth),但只有一份清单。当我们提供<条码>(!4),附有一份清单时,它又退回了第五个要素:

Prelude> let fifth = (!!4)
Prelude> fifth [1,2,3,20,30,40]
30

该职能当然是部分<>职能,因为小名单将失败:

Prelude> (!!4) [1,2,3,20] *** Exception: Prelude.(!!): index too large

这可望实现。如果你想要,你可以让它回到<条码>,而不是<条码>。

fifth :: [a] -> Maybe a fifth (a:b:c:d:e:rest) = Just e fifth _ = Nothing

第一种模式将相应于5年或5年以上的时间清单,第二种模式则与第一种情况不符。你们喜欢这样做:

*Main> fifth [1,2,3,20,30,40] Just 30 *Main> fifth [1,2,3,20] Nothing

您现在有forced >,总的模式与fifth的结果相吻合。 http://www.un.org/Depts/DGACM/index_french.htm 这意味着,如果您的代码为fifth someList ,则该代码为must。考虑到<代码> 清单可能太短。这样,你就可以在compile time上确保该职能中的任何runtime错误。

Answer 2

我将界定一个安全的索引操作员!,然后在上界定fifth!



(!!!)                  :: [a] -> Int -> Maybe a
xs       !!! n | n < 0 =  Nothing
[]       !!! _         =  Nothing
(x : _)  !!! 0         =  Just x
(_ : xs) !!! n         =  xs !!! (n - 1)

fifth :: [a] -> Maybe a
fifth =  (!!! 4)

Answer 3

另选<>unsafe

fifth = head . drop 4

但是,令人厌烦的是,有时人们只是知道这一压倒性名单将有4个以上内容。这种类型的制度仅仅不足以表达它(使用标准清单,即)。

友情链接