Haskell首字母大写其余小写函数编写求助（需用列表推导）

错误原因 #

你的代码存在两个核心问题：

1. 类型不匹配：map会把lambda函数应用到字符串的每个Char上，lambda里的x是单个字符，但length函数只能用于列表（或其他Foldable类型），所以length x会触发类型错误——Haskell无法将Char识别为可以计算长度的容器类型。
2. 逻辑与要求不符：你试图通过length x ==1判断是否是首字母，但这个逻辑完全不成立：每个字符都不是列表，不存在"长度"，而且首字母是字符串的第一个元素，不是"长度为1的元素"。另外，你也没用到题目要求的列表推导。

正确实现（基于列表推导） #

要实现首字母大写、其余字母小写的功能，需要拆分字符串的首字母和剩余部分，对首字母单独转大写，对剩余部分用列表推导统一转小写，最后拼接结果：

import Data.Char (toUpper, toLower)

capitalized :: String -> String
capitalized [] = []  -- 处理空字符串的边界情况
capitalized (firstChar:restChars) = toUpper firstChar : [toLower c | c <- restChars]

测试验证 #

运行示例：

capitalized "mELboURNe"  -- 输出 "Melbourne"
capitalized ""           -- 输出 ""
capitalized "HELLO"      -- 输出 "Hello"
capitalized "world"      -- 输出 "World"

代码解释 #

• 模式匹配(firstChar:restChars)将字符串拆分为第一个字符和剩余字符列表；
• toUpper firstChar将首字母转为大写；
• 列表推导[toLower c | c <- restChars]遍历剩余的每个字符，统一转为小写；
• 用:运算符将首字母和处理后的剩余部分拼接成最终字符串。

内容的提问来源于stack exchange，提问作者Ege Gülce