什么是Java中的单一模拟？

Question

我知道在Scala和其他许多函数式语言中，monad大多只是一个接口实现(例如，在Scala中有flatMapT和unitT方法)，是否有任何Java风格的接口可以是monad？

Answer 1

用Java表示monads有两个问题：

flatMap需要对返回(相同)特定monad的函数进行操作，而Java的类型系统无法表达这一点。

unit在Java术语中是一种静态方法，因为它从一个泛型值创建一个monad实例。Java 8在接口上有静态方法，但是抽象的monad接口不能知道实现，所以您必须在其他地方使用工厂方法(或者只使用构造函数)。

正如@AlexeyRomanov所建议的，您可以实现特定的monad (例如，创建一个Option接口)，但是在Java中不可能实现monad的抽象概念。当然，这意味着您不能创建所有这些有用的功能，对任何单一的工作。

Answer 2

不，因为monad接口需要所谓的高级类型，这些类型在Java中是不存在的。当然，您可以在Java中实现许多(不是所有)特定的monads。