Haskell类型解析问题：使用MegaParsec解析单个空格

这个问题我之前写Parsec解析器时也踩过坑！本质是Parsec的Parser类型是多态设计的，它默认没办法自动推断你要处理的是Char类型的token流，导致编译器抛出类型变量歧义的错误。

问题根源拆解 #

先看报错信息里的关键部分：

Couldn't match type Token s0' with Char'
The type variable `s0' is ambiguous

spaceChar的类型签名是Stream s m Char => ParsecT s u m Char——它可以适配任何满足Stream约束的流类型s，只要该流的Token是Char。但当你用void把它转成ParsecT s u m ()时，Haskell编译器不知道你要的流s具体是什么（比如是String、Text还是其他自定义流），所以就报了类型模糊的错误。

三种可行的解决方案 #

1. 显式标注完整的Parser类型

直接给x指定明确的流类型（通常我们用String作为输入流，对应Parsec String () ()）：

import Text.Parsec

x :: Parsec String () ()
x = void spaceChar

这里Parsec String () ()的含义是：输入流为String，用户状态为()（无状态），解析结果为()。

2. 利用预定义的Parser类型别名

如果你导入的是Text.Parsec模块，它已经默认定义了type Parser a = Parsec String () a这个别名，只要确保你的类型注解正确使用这个别名就行——不过有时候编译器还是需要一点提示，你可以在模块开头确认导入：

import Text.Parsec (Parser, void, spaceChar)

x :: Parser ()
x = void spaceChar

如果还是报错，可能是你导入了更底层的Text.Parsec.Prim模块，这时候手动定义别名即可：

import Text.Parsec.Prim (ParsecT, void)
import Text.Parsec.Char (spaceChar)

type Parser a = ParsecT String () Identity a

x :: Parser ()
x = void spaceChar

3. 使用类型应用（需要启用扩展）

如果你开启了TypeApplications扩展，可以直接给spaceChar指定Token类型为Char，让编译器明确推断流类型：

{-# LANGUAGE TypeApplications #-}
import Text.Parsec

x :: Parser ()
x = void $ spaceChar @Char

额外小提示 #

如果你只是想跳过单个空格字符，void spaceChar是完全正确的逻辑；如果是想跳过任意空白字符（空格、制表符、换行等），可以直接用skipSpace函数，它已经封装了void $ many spaceChar的逻辑，类型也更明确。

内容的提问来源于stack exchange，提问作者Julian Birch