获取错误"模式中的解析错误:长度失败,模块已加载:无"

看起来你正试图添加一名后卫.您需要将输入列表绑定到l并将条件与|以下内容分开:

ascending :: [Int]->Bool
ascending [] =True
ascending l | ((length l) == 1) =True 
ascending l = ((head l)<=l !! 1) && ascending(tail l)

您可以替换使用防护,head并tail使用模式匹配:

ascending :: [Int]->Bool
ascending [] = True
ascending [_] = True 
ascending (x:y:xs) = (x <= y) && ascending (y:xs)