java - 如何在 Java 中模拟 Haskell 的 "Either a b"

Question

如何编写一个类型安全的 Java 方法来返回 a 类或 b 类的东西？例如:

public ... either(boolean b) {
  if (b) {
    return new Integer(1);
  } else {
    return new String("hi");
  }
}

最干净的方法是什么？

(我唯一想到的是使用异常，这显然很糟糕，因为它滥用了通用语言功能的错误处理机制......

public String either(boolean b) throws IntException {
  if (b) {
    return new String("test");
  } else {
    throw new IntException(new Integer(1));
  }
}

)

Answer 1

我模拟代数数据类型的通用公式是:

• 类型是一个抽象基类，构造函数是它的子类
• 每个构造函数的数据在每个子类中定义。 (这允许具有不同数量数据的构造函数正常工作。它还消除了维护不变量的需要，例如只有一个变量是非空的或类似的东西)。
• 子类的构造函数用于构造每个构造函数的值。
• 要解构它，使用 instanceof 来检查构造函数，然后向下转换为适当的类型以获取数据。

所以对于 Either a b，它会是这样的:

abstract class Either<A, B> { }
class Left<A, B> extends Either<A, B> {
    public A left_value;
    public Left(A a) { left_value = a; }
}
class Right<A, B> extends Either<A, B> {
    public B right_value;
    public Right(B b) { right_value = b; }
}

// to construct it
Either<A, B> foo = new Left<A, B>(some_A_value);
Either<A, B> bar = new Right<A, B>(some_B_value);

// to deconstruct it
if (foo instanceof Left) {
    Left<A, B> foo_left = (Left<A, B>)foo;
    // do stuff with foo_left.a
} else if (foo instanceof Right) {
    Right<A, B> foo_right = (Right<A, B>)foo;
    // do stuff with foo_right.b
}