如何修复打印邱奇布尔值（Church Booleans）的Haskell代码报错问题？

首先咱们来拆解下你遇到的错误根源：

你尝试为(t -> t -> t)这个多态函数类型定义Show实例，但Haskell的类型系统不允许这种直接操作——这里的t是刚性类型变量，意味着它可以是任意类型，你不能强行把Bool类型的True/False传递给一个期望接收任意t类型参数的函数b。毕竟b的类型是t -> t -> t，它理应为任意类型的参数工作，而非只能适配Bool。

正确修改方案：用Newtype封装邱奇布尔 #

解决问题的核心是把邱奇布尔的多态类型封装成一个具体的新类型，这样就能安全地为它定义Show实例了。具体实现如下：

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE FlexibleInstances #-}

-- 用newtype封装多态的邱奇布尔类型
newtype ChurchBool = ChurchBool (forall a. a -> a -> a)

-- 为封装后的类型实现Show实例
instance Show ChurchBool where
  show (ChurchBool b) = show $ b True False

-- 测试用的邱奇布尔值
churchTrue :: ChurchBool
churchTrue = ChurchBool (\x y -> x)

churchFalse :: ChurchBool
churchFalse = ChurchBool (\x y -> y)

为什么这样能正常运行？ #

• ChurchBool把原本的多态函数forall a. a->a->a包装成了一个具体类型，在Show实例里，我们可以明确地将封装后的函数应用到Bool类型的True和False上——这完全符合邱奇布尔的多态契约：它本来就可以接受任意类型的参数。
• 现在直接打印churchTrue或churchFalse，就能得到对应的"True"和"False"字符串了。

简化但受限的替代方案（不推荐） #

如果你只是想快速实现打印功能，也可以直接为Bool -> Bool -> Bool类型定义Show实例，但这样只能处理专门针对Bool的邱奇函数，失去了邱奇编码的多态本质：

{-# LANGUAGE FlexibleInstances #-}

instance Show (Bool -> Bool -> Bool) where
  show b = show $ b True False

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