部分功能组成的语法

Question

module Luhn (isValid) where

import qualified Data.Char as C

isAsciiAlpha :: Char -> Bool
isAsciiAlpha = C.isAsciiLower || C.isAsciiUpper

isValid :: String -> Bool
isValid n
  | any ((isAsciiAlpha || C.isSpace) . not) n = False
  | otherwise = ys > 1 && sum xxs `mod` 10 == 0
  where
    xs = reverse [c | c <- n, isAsciiAlpha c]
    ys = length xs
    zs = zip xs (cycle [1, 2])
    xxs = [convert x y | (x, y) <- zs]

convert :: Char -> Int -> Int
convert c mul =
  do
    let n = C.digitToInt c
    case () of
      _
        | mul == 2 && (n > 4) -> n * mul - 9
        | otherwise -> n * mul

我正在为这一行挣扎： any（（isasciialpha || c.isspace）。没有）n = false 。我想要的很明显。找到除了ASCII字母或空间以外的任何字符。

尽管尝试了各种语法，但我仍在此行中遇到编译错误，类似

• Couldn't match expected type ‘Bool’
                  with actual type ‘Char -> Bool’

Answer 1

您无法使用 （||）:: bool - ＆gt;布尔 - ＆gt; bool 在两个功能上：参数应为 bool s。您可以做的是构造一个函数，该函数映射 c isasciialpha c || c.isspace c ，so \ c - ＆gt; isasciialpha c || c.isspace c ，或者您可以使用 lifta2 ::应用f =＆gt; （a - ＆gt; b - ＆gt; c） - ＆gt; fa-＆gt; fb - ＆gt; f C 带有 lifta2（||）isasciialpha c.isspace 。 也应应用于功能的结果，因此：

import Control.Applicative(liftA2)

isAsciiAlpha :: Char -> Bool
isAsciiAlpha = liftA2 (||) C.isAsciiLower C.isAsciiUpper

isValid :: String -> Bool
isValid n
  | any (not . liftA2 (||) isAsciiAlpha C.isSpace) n = False
  | otherwise = ys > 1 && sum xxs `mod` 10 == 0
  where -- …

您还可以使用 （＆lt; ||＆gt;）::应用a =＆gt;布尔 - ＆gt;布尔 - ＆gt; bool 或它的shortcircuitng版本 （||^）::::: monad m =＆gt; m bool - ＆gt; m bool - ＆gt; m bool 软件包。