如何将`Show a`直接转为`Text`？是否存在`TextShow`类型类？

当然可以跳过String直接转Text，而且确实有专门的类型类来解决这个问题，完全不用依赖String中间层！

1. 使用text-show库的TextShow类型类 #

你提到的TextShow正是解决这个问题的标准答案。这个类型类就是为了直接生成高效的Text而设计的，作用和Show类似，但输出是Text而非性能拉胯的String。

基本用法 #

首先需要在项目中引入text-show包（可以通过cabal install text-show或者在stack.yaml里添加依赖），之后就能直接用：

import Text.Show.Text (TextShow(..), textShow)

-- 基础类型都有现成的实例
example1 :: Text
example1 = textShow (42 :: Int)  -- 结果是 "42"::Text

example2 :: Text
example2 = textShow ["hello", "world"]  -- 结果是 "[\"hello\",\"world\"]"::Text

自动派生实例 #

和Show一样，TextShow支持自动派生，不管是用Haskell98风格还是GHC扩展：

• Haskell98风格（需启用DeriveAnyClass）：直接在数据类型声明里加deriving TextShow

{-# LANGUAGE DeriveAnyClass #-}

data Person = Person { name :: Text, age :: Int }
  deriving (Eq, Show, TextShow)

-- 现在可以直接调用textShow
personText :: Text
personText = textShow (Person "Alice" 30)

• GHC泛型派生（需启用DeriveGeneric）：如果需要更灵活的定制，可以用泛型自动生成实例：

{-# LANGUAGE DeriveGeneric #-}
import GHC.Generics (Generic)
import Text.Show.Text (TextShow(..), genericTextShow)

data Book = Book { title :: Text, pages :: Int }
  deriving (Generic)

instance TextShow Book where
  showb = genericTextShow

2. 从现有Show实例转Text（不推荐，但应急可用） #

如果你已经有了Show实例，又不想引入新依赖，也可以把show的结果转成Text——但这会经过String中间层，完全违背你想规避String的初衷，性能也会打折扣：

import Data.Text (pack)

showToText :: Show a => a -> Text
showToText = pack . show

这里的问题在于String是链表结构，pack需要遍历整个链表才能转成Text，而TextShow是直接构建高效的Text对象，性能差异会在处理大量文本时体现得非常明显。

3. 为什么要避免String？ #

你提到的最佳实践完全正确：String本质是[Char]，链表结构意味着它在存储和处理文本时内存占用高、遍历效率低。而Text是基于字节数组的实现，更适合绝大多数文本处理场景，所以能用Text就尽量不用String。

总结一下：text-show库的TextShow类型类完美满足你的需求——既能直接生成Text，又支持自动派生，完全可以替代Show+String的组合。

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