如何在CLEAN中小写字符串

Question

我在CLEAN中遇到问题，如何在字符串中使用小写字母？我可以通过char数组来完成它，但我也需要用字符串来完成它。  到目前为止，我有以下代码：

module Something

import StdEnv, StdLib

arrayLower:: [Char] -> [Char]
arrayLower[x:xs] = (map toLower [x:xs]) 


stringLower:: String -> String
stringLower_ = ""
stringLowers = toString (arrayLower s)

Start:: String     
Start = stringLower"SSSsss"

Answer 1

你的第一个案例

stringLower _ = ""

表示应用于任何内容的stringLower为空字符串 我很惊讶你没有得到冗余的第二种情况的警告。

String 是一个数组（未装箱，所以它是{#Char}），你说你已经知道如何用数组做这个，但是你的{{ 1}}是为arrayLower（Char）的列表定义的，而不是数组。

使用数组理解，这对我有用：

[Char]