Haskell使用作用域变量时出现“Ambiguous type variable”问题

问题背景 #

原OCaml代码 #

for x = 0 to 12 do
    let i = (1 + (x * 3)) in
    let j = (60 - (x * 5)) in
    Printf.printf "I=%d J=%d\n" (i) (j);
done;;

出错的Haskell代码 #

import Text.Printf

for list action = mapM_ action list

main :: IO ()
main = do
    for [0..12] $ \x -> do
        let i = (1 + (x * 3))
            j = (60 - (x * 5)) in
            printf "I=%d J=%d\n" i j :: IO ()

错误信息 #

Ambiguous type variable ‘t0’ arising from the arithmetic sequence ‘0 .. 12’ prevents the constraint ‘(Enum t0)’ from being solved.

可正常运行的Haskell代码 #

import Text.Printf

for list action = mapM_ action list

block :: Int -> IO ()
block x = 
    let i = 1 + (x * 3)
        j = 60 - (x * 5) in
        printf "I=%d J=%d\n" i j :: IO ()

main :: IO ()
main = do
    for [0..12] $ \x -> do block x

用户问题 #

Haskell是否允许在内部作用域中声明变量？如果允许，我哪里出错了？（测试环境：replit.com）

解答 #

Haskell完全允许在内部作用域中声明变量，你遇到的问题并非来自内部let绑定，而是类型推断的歧义。

错误原因 #

Haskell的类型推断需要明确的类型线索：

• 代码中的[0..12]是一个算术序列，它可以是任何实现了Enum和Num类型类的类型（比如Int、Integer等）。
• 虽然printf的%d格式符要求参数是整数类型，但编译器无法从lambda内部的代码回溯确定x的具体类型，因此抛出了类型变量歧义的错误。

修复方式 #

1. 明确指定序列的类型

给[0..12]添加类型注解，直接告诉编译器这是Int类型的列表：

import Text.Printf

for list action = mapM_ action list

main :: IO ()
main = do
    for ([0..12] :: [Int]) $ \x -> do
        let i = 1 + x * 3
            j = 60 - x * 5
        printf "I=%d J=%d\n" i j

2. 给lambda参数指定类型

直接给lambda的参数x标注类型，明确其为Int：

import Text.Printf

for list action = mapM_ action list

main :: IO ()
main = do
    for [0..12] $ \(x::Int) -> do
        let i = 1 + x * 3
            j = 60 - x * 5
        printf "I=%d J=%d\n" i j

3. 提取为明确类型的函数（你已使用的方法）

将循环内的逻辑封装成带有明确类型签名的函数，编译器会通过函数的类型推断出x的类型，进而确定序列的类型。

内容的提问来源于stack exchange，提问作者Murilo Perrone