<link rel="stylesheet" href="https://js.how234.com/third-party/SyntaxHighlighter/shCoreDefault.css" type="text/css" /><script type="text/javascript" src="https://js.how234.com/third-party/SyntaxHighlighter/shCore.js"></script><script type="text/javascript"> SyntaxHighlighter.all(); </script>
java monad是什么，让我们一起了解一下？
Monad是一个代码名字，意思是单子代表Windows上的一个新的交互式命令行工具以及面向对象的脚本技术。Monad也被称为MSH，是下一代的Windows命令shell，用全新的角度来完成各式各样的管理任务。
Monad定义的要素有哪些？
在定义 Monad 时需要提供一个类型构造器 M 和两个操作 unit 和 bind：
1、类型构造器的作用是从底层的类型中创建出一元类型（monadic type）。如果 M 是 Monad 的名称，而 t 是数据类型，则 M t 是对应的一元类型。
2、unit 操作把一个普通值 t 通过类型构造器封装在一个容器中，所产生的值的类型是 M t。unit 操作也称为 return 操作。return 操作的名称来源于 Haskell。不过由于 return 在很多编程语言中是保留关键词，用 unit 做名称更为合适。
3、bind 操作的类型声明是 (M t)→(t→M u)→(M u)。该操作接受类型为 M t 的值和类型为 t → M u 的函数来对值进行转换。在进行转换时，bind 操作把原始值从容器中抽取出来，再应用给定的函数进行转换。函数的返回值是一个新的容器值 M u，M u 可以作为下一次转换的起点。多个 bind 操作可以级联起来，形成处理流水线。
具体代码示例如下：
public class LoggingMonad { private final T value; private final List logs; public LoggingMonad(T value, List logs) { this.value = value; this.logs = logs; } @Override public String toString() { return "LoggingMonad{" + "value=" + value + ", logs=" + logs + '}'; } public static LoggingMonad unit(T value) { return new LoggingMonad<>(value, List.of()); } public static LoggingMonad bind(LoggingMonad input, Function<T1, LoggingMonad> transform) { final LoggingMonad result = transform.apply(input.value); List logs = new ArrayList<>(input.logs); logs.addAll(result.logs); return new LoggingMonad<>(result.value, logs); } public static LoggingMonad pipeline(LoggingMonad monad, List<Function<T, LoggingMonad>> transforms) { LoggingMonad result = monad; for (Function<T, LoggingMonad> transform : transforms) { result = bind(result, transform); } return result; } public static void main(String[] args) { Function<Integer, LoggingMonad> transform1 = v -> new LoggingMonad<>(v * 4, List.of(v + " * 4")); Function<Integer, LoggingMonad> transform2 = v -> new LoggingMonad<>(v / 2, List.of(v + " / 2")); final LoggingMonad result = pipeline(LoggingMonad.unit(8), List.of(transform1, transform2)); System.out.println(result); // 输出为 LoggingMonad{value=16, logs=[8 * 4, 32 / 2]} }}
