如何为某些类型创建专门的类型类，为其余类型创建默认实现

我想要一个类型的类型类，在可能的情况下可以将其转换为其他类型。

class Castable a b where  
    cast :: a -> Maybe b  
    cast _ = Nothing -- default implementation  

现在该类将为某些类型和all其他的我想要默认实现。

怎样才能做到这一点呢？

这不一定是安全的或 Haskell-y 的事情，但它肯定是可能的，使用重叠实例 http://www.haskell.org/ghc/docs/6.12.3/html/users_guide/type-class-extensions.html#instance-overlap

首先，启用它们：

{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FlexibleInstances     #-}
{-# LANGUAGE OverlappingInstances  #-}

写下你的选角课程：

class Castable a b where  
    cast :: a -> Maybe b  
    cast _ = Nothing -- default implementation  

一个“优化”的实例：

instance Castable Int Bool where
        cast 0 = Just False
        cast _ = Just True

最后是所有类型的通用实例：

instance Castable a b where

使用示例：

main = do
    print $ (cast (7 :: Int) :: Maybe Bool)
    print $ (cast (7 :: Int) :: Maybe Integer)

运行此命令，当类型未专门化时选择默认值：

*Main> main
Just True
Nothing