Haskell 我可以在类型名称上进行模式匹配吗？_Haskell

Haskell 我可以在类型名称上进行模式匹配吗？

haskell

Haskell 我可以在类型名称上进行模式匹配吗？,haskell,Haskell,是否可以在类型名本身而不是在类型的某个构造函数上进行模式匹配下面是一个精心设计的示例，其中包含未编译的代码，我希望能够解释我的目的： what:：a->String what（x：：String）=“这是一个字符串！” 什么（x：：Int）=“这是一个Int！” what x=“不确定是什么。” 在某种程度上，您试图在Haskell中重载函数。看看这篇文章，它解释了一个涉及类型类的方法，它可以做到这一点：在某种程度上，你试图在Haskell中重载一个函数。看看这篇文章，它解释了一个涉及类型类的

是否可以在类型名本身而不是在类型的某个构造函数上进行模式匹配

下面是一个精心设计的示例，其中包含未编译的代码，我希望能够解释我的目的：

what:：a->String
what（x：：String）=“这是一个字符串！”
什么（x：：Int）=“这是一个Int！”
what x=“不确定是什么。”

在某种程度上，您试图在Haskell中重载函数。看看这篇文章，它解释了一个涉及类型类的方法，它可以做到这一点：

在某种程度上，你试图在Haskell中重载一个函数。看看这篇文章，它解释了一个涉及类型类的方法，它可以做到这一点：

不，这是不可能的

根据类型执行不同操作的唯一方法是使用针对每种类型实现不同的typeclass方法。

不，这是不可能的

根据类型执行不同操作的唯一方法是使用针对每种类型实现的不同类型类方法。

以下是使用类型类的版本：

{-# LANGUAGE TypeSynonymInstances, FlexibleInstances  #-}
module Test where

class What a where
  what :: a -> String

instance What String where
  what _ = "It's a String!"

instance What Int where
  what _ = "It's an Int"

例如：

λ> what "hi"
"It's a String!"
λ> what (1 :: Int)
"It's an Int"

λ> what "hi"
"It's a String!"
λ> what (1 :: Int)
"It's an Int"
λ> what True
"not sure"

如果您想要else案例：

例如：

λ> what "hi"
"It's a String!"
λ> what (1 :: Int)
"It's an Int"

λ> what "hi"
"It's a String!"
λ> what (1 :: Int)
"It's an Int"
λ> what True
"not sure"

以下是使用类型类的版本：

{-# LANGUAGE TypeSynonymInstances, FlexibleInstances  #-}
module Test where

class What a where
  what :: a -> String

instance What String where
  what _ = "It's a String!"

instance What Int where
  what _ = "It's an Int"

例如：

λ> what "hi"
"It's a String!"
λ> what (1 :: Int)
"It's an Int"

λ> what "hi"
"It's a String!"
λ> what (1 :: Int)
"It's an Int"
λ> what True
"not sure"

如果您想要else案例：

例如：

λ> what "hi"
"It's a String!"
λ> what (1 :: Int)
"It's an Int"

λ> what "hi"
"It's a String!"
λ> what (1 :: Int)
"It's an Int"
λ> what True
"not sure"

警告请注意，您要求的是一些非常不地道的东西。不管你实际上想做什么，这可能不是正确的方法

解决方案你的顶级类型签名表明你可以处理任何类型的东西，但这是不可能的。类型在编译时都会丢失，因此您需要一些东西来通知代码类型是什么，以及一些东西来做出分支决策

这里有一些使用较少的类，您可以依靠它们。其中一个称为

Typeable

，这是一个用于具有运行时表示的类型的类：

class Typeable (a :: k) where
  Data.Typeable.Internal.typeRep# :: GHC.Prim.Proxy# a -> TypeRep

为了在您的案例中使用typeable，您将约束添加到类型变量中，并使用

typeOf

获取类型表示：

{-# LANGUAGE MultiWayIf #-}
import Data.Typeable

what :: Typeable a => a -> String
what x =
    let ty = typeOf x
    in if | ty == intTy -> "It's an Int!"
          | ty == strTy -> "It's a String!"
          | otherwise -> "Something else, namely: " ++ show ty
  where
  strTy = typeOf ""
  intTy = typeOf (0 :: Int)

屈服操作：

*Main> what (1::Int)
"It's an Int!"
*Main> what "foo"
"It's a String!"
*Main> what 1.1
"Something else, namely: Double"