Haskell中同一函数能否处理不同类型的输入与输出？

你示例中的原生写法不可行，Haskell属于静态强类型语言，函数的参数、返回值类型在编译期就必须确定，默认不允许同一个函数直接接收Int、String两种完全不同类型的输入，也不支持运行时直接对参数类型做模式匹配的语法。

如果要实现类似「支持多种类型输入输出」的需求，有两种常见的实现方案：

方案1：使用代数数据类型（ADT）封装输入输出 #

你可以把需要支持的输入、输出类型分别封装到自定义的代数数据类型中，之后就可以对封装后的值做模式匹配：

-- 定义支持的输入类型封装
data Input = IntInput Int | StringInput String
-- 定义支持的输出类型封装
data Output = IntOutput Int | StringOutput String

fun :: Input -> Output
fun (IntInput 1) = IntOutput 2
fun (StringInput "textIn") = StringOutput "textOut"
fun _ = error "未匹配的输入"

调用时需要把原始值用对应的构造器包裹：

• 传入Int类型：fun (IntInput 1) 会返回 IntOutput 2
• 传入String类型：fun (StringInput "textIn") 会返回 StringOutput "textOut"

方案2：使用多参数类型类实现 #

如果你不想显式封装值，可以开启GHC扩展用类型类实现不同类型的分派逻辑，需要开启MultiParamTypeClasses、FlexibleInstances扩展：

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

class Fun a b where
  fun :: a -> b

instance Fun Int Int where
  fun 1 = 2
  fun _ = error "未匹配的Int输入"

instance Fun String String where
  fun "textIn" = "textOut"
  fun _ = error "未匹配的String输入"

调用时如果类型推断不明确，需要手动加类型注解：fun (1 :: Int) :: Int、fun "textIn" :: String。

注意这种方案的类型匹配是编译期完成的，如果没有对应类型的实例，编译阶段就会报错，不会在运行时做类型判断。

内容的提问来源于stack exchange，提问作者hypnomaki