Haskell实现简易文本编辑器遇类型匹配错误求助

Hey Andrew, 我看到你在实现简易Haskell文本编辑器时遇到了类型匹配错误，咱们一步步来搞定这个问题。

首先先看你给出的代码片段里最直接的问题，再补全正确的实现逻辑：

1. 先修正明显的拼写错误 #

你定义moveCursorLeft时，把返回类型写成了TextEdito...——这是个不完整的类型名称，编译器根本识别不了，自然会抛出类型匹配错误。首先要把它修正为正确的TextEditor：

moveCursorLeft :: TextEditor -> TextEditor

2. 实现符合逻辑的光标左移函数 #

结合你定义的TextEditor类型（光标前字符集+光标后字符集），光标左移的核心逻辑是：如果光标前有字符，就把光标前的最后一个字符移到光标后的最前面；如果光标已经在最左端，就保持原状态。完整的实现代码如下：

import Data.List
import System.IO

data TextEditor = TextEditor([Char],[Char]) deriving (Show)
inputLine :: TextEditor
inputLine = TextEditor("The quick br", "own fox")

moveCursorLeft :: TextEditor -> TextEditor
-- 光标在最左端，无字符可移，返回原状态
moveCursorLeft (TextEditor ([], right)) = TextEditor ([], right)
-- 把光标前的最后一个字符移到光标后
moveCursorLeft (TextEditor (left, right)) = TextEditor (init left, last left : right)

3. 解释类型匹配错误的根源 #

你遇到的Couldn't match expected type错误，大概率来自两个场景：

• 返回类型拼写错误：编译器无法识别不完整的TextEdito...类型，自然无法匹配你实际返回的TextEditor值
• 实现逻辑的类型不匹配：如果你的实现里忘记用TextEditor构造器包裹结果（比如直接返回(init left, last left : right)），编译器会期望得到([Char], [Char])类型，但你声明的返回类型是TextEditor，两者不匹配就会触发错误

你可以测试一下这个实现，运行moveCursorLeft inputLine会得到TextEditor ("The quick b", "rown fox")，完全符合光标左移的预期。

内容的提问来源于stack exchange，提问作者Andrew Morrison