能否在Haskell中定义忽略参数并返回自身的单参函数？

你尝试定义的函数f a = f（接收任意参数并忽略，返回自身）之所以触发类型错误，核心原因是Haskell默认的Hindley-Milner类型推断系统无法自动推导这种递归多态类型。

错误原因解析 #

当GHC推断f的类型时，会先假设f的类型为t。但函数体里的f是一个未应用参数的函数，实际类型是p -> t——这就导致了类型不匹配：左边f a的预期类型是t，但右边返回的f类型是p -> t，因此编译器抛出类型不匹配的错误。

解决方法：显式指定递归类型 #

要让这个函数通过编译，需要启用GHC的RecursiveTypes扩展（8.6及以上版本支持），并显式定义递归类型：

方式1：使用递归类型别名

{-# LANGUAGE RecursiveTypes #-}

-- 定义递归类型：接收任意类型参数，返回自身类型
type SelfLoop = forall a. a -> SelfLoop

f :: SelfLoop
f a = f

方式2：直接写显式递归类型签名

{-# LANGUAGE RecursiveTypes #-}

f :: forall a. a -> (forall b. b -> f)
f a = f

两种方式都能让编译器正确理解f的递归类型，从而成功编译。

对比halt函数的可行原因 #

• halt = halt的类型被推断为halt :: t，这里的t代表“底类型”（⊥），即永远不会终止的计算，Haskell允许这种递归定义。
• halt x = halt x的类型是halt :: a -> b，编译器可以隐式让b等于a -> b，形成无限递归的函数类型——右边halt x的类型是b，和左边的类型完全匹配，因此类型推断能通过。

内容的提问来源于stack exchange，提问作者Lina Blume