string - 为什么 Data.String.IsString 类型类只定义一次转换？

Question

为什么 Haskell 基础包只定义了 IsString类从 String 进行转换到 'like-string' 值，而不定义逆变换，从 'like-string' 值到 String ?

该类应定义为:

class IsString a where
    fromString :: String -> a
    toString :: a -> String

引用: http://hackage.haskell.org/packages/archive/base/4.4.0.0/doc/html/Data-String.html

Answer 1

原因是恕我直言，IsString的主要目的是通过 OverloadedStrings 用于 Haskell 源代码(或 (E)DSL——另见 Paradise: A two-stage DSL embedded in Haskell )中的字符串文字。语言扩展与其他多态文字的工作方式类似(例如，通过 fromRational 用于浮点文字或 fromInteger 用于整数文字)

术语IsString可能有点误导，因为它表明类型类表示类似字符串的结构，而实际上只是表示在 Haskell 源代码中具有带引号的字符串表示的类型。