zoukankan      html  css  js  c++  java
  • Monad的基本运算

    A monad is created by defining a type constructor M and two operations, bind and return (where return is often also called unit):

    • The unary return operation takes a value from a plain type (a) and puts it into a container using the constructor, creating a monadic value (with type M a).
    • The binary bind operation ">>=" takes as its arguments a monadic value with type M a and a function (a → M b) that can transform the value.
      • The bind operator unwraps the plain value with type a embedded in its input monadic value with type M a, and feeds it to the function.
      • The function then creates a new monadic value, with type M b, that can be fed to the next bind operators composed in the pipeline.

    With these elements, the programmer composes a sequence of function calls (the "pipeline") with several bind operators chained together in an expression. Each function call transforms its input plain type value, and the bind operator handles the returned monadic value, which is fed into the next step in the sequence. Between each pair of composed function calls, the bind operator can inject into the monadic value some additional information that is not accessible within the function, and pass it along. It can also exert finer control of the flow of execution, for example by calling the function only under some conditions, or executing the function calls in a particular order.

    https://en.wikipedia.org/wiki/Monad_(functional_programming)

  • 相关阅读:
    Linux 切换用户
    Java之.jdk安装-Linux
    Java之.jdk安装-Windows
    java注解生成xml和包含CDATA问题
    Spring学习—生成图片验证码
    java学习——java按值传递和按址传递
    温水中被煮熟的程序员-人生的思考
    mysql操作sql的小技巧
    java的classLoader分析与jettty的WebAppClassLoader
    深入Spring:自定义事务管理
  • 原文地址:https://www.cnblogs.com/feng9exe/p/8656843.html
Copyright © 2011-2022 走看看