scala – 对Haskell的简要介绍：“……没有一种类型包含2和’b’

在Haskell中没有隐式转换.也没有联合类型 – 只有不相交的联合(代数数据类型).所以你只能写：

someList :: [IntOrChar]
someList = [In 1,Ch 'c']

更长,肯定不温和的答案.

注意：这是一种很少使用的技术.如果您需要它,您可能会过度复杂化API.

然而存在存在的类型.

{-# LANGUAGE ExistentialQuantification,RankNTypes #-}
class IntOrChar a where
   intOrChar :: a -> Either Int Char

instance IntOrChar Int where
   intOrChar = Left

instance IntOrChar Char where
   intOrChar = Right 

data List = Nil
          | forall a. (IntOrChar a) => Cons a List

someList :: List
someList = (1 :: Int) `Cons` ('c' `Cons` Nil)

在这里,我创建了一个只有函数intOrChar的类型类IntOrChar.这样你就可以转换任何类型的forall a. (IntOrChar a)=> a to Int Char.

还有一种在其第二个构造函数中使用存在类型的特殊列表.
这里类型变量a在构造函数范围内绑定(使用forall).所以每一次
你使用Cons,你可以传递任何类型的forall a. (IntOrChar a)=> a作为第一个论点.因此,在破坏(即模式匹配)期间,第一个参数将会出现
仍然是forall a. (IntOrChar a)=>一个.你可以用它做的唯一事情是传递它或调用它上面的intOrChar并将其转换为Either Int Char.

withHead :: (forall a. (IntOrChar a) => a -> b) -> List -> Maybe b
withHead f Nil = Nothing
withHead f (Cons x _) = Just (f x)

intOrCharToString :: (IntOrChar a) => a -> String
intOrCharToString x = 
   case intOrChar of
    Left i -> show i
    Right c -> show c

someListHeadString :: Maybe String
someListHeadString = withHead intOrCharToString someList

再说一遍,你不能写

{- Wont compile
safeHead :: IntOrChar a => List -> Maybe a
safeHead Nil = Nothing
safeHead (Cons x _) = Just x
-}

-- This will
safeHead2 :: List -> Maybe (Either Int Char)
safeHead2 Nil = Nothing
safeHead2 (Cons x _) = Just (intOrChar x)

safeHead将无法工作,因为你想要一种IntOrChar a =>也许a在safeHead范围内绑定并且Just x将具有IntOrChar类型a1 =>也许a1与Cons范围内的a1绑定.