Haskell - 类型和 if 语句

Question

有没有一个好的方法可以使用类型信息来选择做不同的事情？

例如，这不是有效的 Haskell，但我不明白为什么它不能：

tostring :: (Show b) => b -> String
tostring x = f x where f = if b == String then tail . init . show else show

重要的部分不是获取正确的字符串，而是使用 b 的类型作为一种方式在功能/功能之间切换。

Answer 1

@chi 的答案已经演示了如何使用 Typeable 进行运行时类型检查，但我想指出，对我来说，这看起来正是类型类的用途。对于您的示例，唯一的问题是您不喜欢 String 的 Show 实现：在这种情况下，只需创建您自己的类型类！

{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE UndecidableInstances #-}

-- The class
class MyShow a where
    myShow :: a -> String

-- The instance for String
-- (The `OVERLAPPING` pragma is required, because
-- otherwise GHC won't know which instance to choose for String)
instance {-# OVERLAPPING #-} MyShow [Char] where
    myShow = tail . init . show

-- For everything that is not a String, just copy the Show instance
instance Show a => MyShow a where
    myShow = show

编辑：正如 leftaroundabout 所指出的，重叠实例很复杂，可能会导致一些意外的行为。查看 文档底部的示例。

Answer 2

我将按原样回答这个问题。 Haskell 在编译时删除所有类型信息，主要是出于效率原因。默认情况下，当调用多态函数时，例如f :: a->a，没有可用的类型信息，并且f无法知道>a 实际上是 - 在这种情况下，f 只能是恒等函数，无法终止或引发错误。

对于需要类型信息的极少数情况，可以使用 Typeable。具有类型 f :: Typeable a => 的多态函数... 传递了类型 a 的运行时描述，允许对其进行测试。本质上，Typeable a 约束强制 Haskell 保留运行时信息直到运行时。请注意，这样的类型信息在调用站点必须是已知的——要么是因为 f 是用完全已知的类型调用的，要么是因为 f 是用部分已知的类型调用的（说 f x 与 x :: Maybe b），但范围内有合适的 Typeable 约束（Typeable b，在前面的例子）。

不管怎样，这里有一个例子：

{-# LANGUAGE TypeApplications, ScopedTypeVariables, GADTs #-}

import Data.Typeable

tostring :: forall b. (Show b, Typeable b) => b -> String
tostring x = case eqT @b @String of  -- if b==String
   Just Refl -> x                    -- then
   Nothing   -> show x               -- else

注意我们如何能够在“then”分支中返回x，因为在那里它已知是一个String。