Question

编程 haskell 下面这个程序是什么意思，运行时要怎么输入？

amplify2 :: String -> String
amplify2 [] = []
amplify2 (x : xs) = x : x : amplify2 xs

Answer 1

这个函数把string里每个字符都重复了一下

amplify2 "abc" 结果是 "aabbcc"

要运行的话，首先把这段代码放到一个文件，然后用ghci :l 加载这个文件

 在在ghci里调用这个函数

追问

amplify2 (x : xs) = x : x : amplify2 xs 这个句子要怎么理解。。

追答

首先string 其实是[Char]，然后
x : xs这是个pattern match这个很简单吧。拿abc来说 amplify2 "abc" = "a":"a" : amplify2 "bc" = "a":"a" : "b":"b" : amplify2 "c" = "a":"a":"b":"b":"c":"c": amplify [] = "aabbcc"。

其实把递归展开就很清楚了