Haskell 中的交换函数

Question

我想在 haskell 中编写一个函数，它不介意我以什么顺序向它提供参数，例如，我想

    reproduce1 :: Male -> Female -> Child
    reproduce2 :: Female -> Male -> Child

通过一个函数“regenerate”来统一这两个函数。

Answer 1

您可以使用多参数类型类来完成此操作。

{-# LANGUAGE MultiParamTypeClasses #-}

class Reproduce x y where
  reproduce :: x -> y -> Child

instance Reproduce Male Female where
  reproduce = reproduce1

instance Reproduce Female Male where
  reproduce = reproduce2

不过，我很好奇您为什么要这样做。

Answer 2

也许您想将参数打包成数据类型并使用记录 （参见“标记字段”）？

   data Args = A { m :: Male , f :: Female}
   reproduce :: Args -> Child

不过，我和@hammar 一样好奇。

Answer 3

我正在考虑这样的事情，如果两个成年人的性别相同，则会抛出异常：

module Main where

main = putStrLn (reproduce (Male "a") (Female "b"))

type Child = String
data Adult = Male String | Female String
  deriving (Show)

reproduce :: Adult -> Adult -> Child
reproduce (Male a) (Female b) = a ++ "+" ++ b
reproduce (Female a) (Male b) = b ++ "+" ++ a

Answer 4

我强烈建议修复顺序，先说男性，然后是女性，或者像 ShiDoSi 的解决方案中那样创建“婚姻”数据类型。

但是，请检查论文第 12 页的“会话类型和对偶性”部分 “类型函数的乐趣” - 我认为这是一个很好的例子，您需要以对称方式耦合类型雌雄配对。