Haskell：打印文本编码

Question

Haskell 新手在这里。

$ ghc --version
The Glorious Glasgow Haskell Compilation System, version 6.12.1

在尝试调试第三方 Haskell 程序中与区域设置相关的奇怪错误时，我尝试打印默认编码：

import System.IO
main = do
  print localeEncoding

但它失败了：

$ ghc -o printlocale main.hs
main.hs:4:2:
    No instance for (Show TextEncoding)
      arising from a use of `print' at main.hs:4:2-21
    Possible fix: add an instance declaration for (Show TextEncoding)
    In the expression: print localeEncoding
    In the expression: do { print localeEncoding }
    In the definition of `main': main = do { print localeEncoding }

My google-fu is failed me。我缺少什么？

Answer 1

要在 Haskell 中打印某种类型的值，该类型必须是 Show 类的实例。

localeEncoding :: TextEncoding

并且 TextEncoding 不是 Show 的实例。

TextEncoding 类型实际上是一种存在类型，存储编码和解码方法：

data TextEncoding
  = forall dstate estate . TextEncoding  {
    mkTextDecoder :: IO (TextDecoder dstate),
    mkTextEncoder :: IO (TextEncoder estate)
  }

由于这些是函数，因此没有明智的方式来显示它们。当前的 localeEncoding 是通过 C 函数 nl_langinfo 使用 iconv 确定的。

因此，TextEncoding 本身不是可显示的类型，因此您无法打印它。但是，您可以通过 mkTextEncoding 构造此类型的新值。例如，创建一个 utf8 环境：

mkTextEncoding "UTF-8" 

我们可能会考虑使用 TextEncoding 存储区域设置表示的功能请求，以便可以打印该标签。然而，目前这是不可能的。