PureScript 无法将 Maybe Int 类型与 Int 类型匹配

Question

我正在做“PureScript by example”一书中的作业，使用递归来计算数组中偶数项的数量。

这是我写的代码

isEven :: Int -> Boolean
isEven 0 = true
isEven 1 = false
isEven n = isEven(n - 2) 

countEven :: List Int -> Int
countEven list = 
   if null list 
   then 0
   else 
      if isEven(unsafePartial (head list)) 
      then 1 
      else 0 + countEven(unsafePartial (tail list))

我收到一条错误消息说

Error found:
in module Main
at src/Main.purs line 74, column 17 - line 74, column 42

  Could not match type

    Maybe Int

  with type

    Int


while checking that type t0
  is at least as general as type Int
while checking that expression unsafePartial (head list)
  has type Int
in binding group countEven

对此我有点意外，因为unsafePartial head list的数据类型是Int，unsafePartial tail list是List Int

那么为什么感觉某处有一个 Maybe？

Answer 1

您收到此错误的事实意味着您正在使用 head和 tail来自 Data.List，它们实际上不是部分的，而是返回一个 Maybe。

要使用它们的部分副本，请从 Data.List.Partial 导入它们.