The maybe monad represents computations whose result is maybe a valid value, but maybe nil

(written by lawrence krubner, however indented passages are often quotes). You can contact lawrence at: lawrence@krubner.com, or follow me on Twitter.

Here is a sentence I have read a dozen times without understanding it:

The maybe monad represents computations whose result is maybe a valid value, but maybe nil.

This seems like a good way to think about the Any type, when dealing with things such as Typed Clojure.

Post external references

  1. 1
    https://github.com/khinsen/monads-in-clojure/blob/master/PART1.md
  2. 2
    http://frenchy64.github.io/2015/06/19/gradual-typing.html
Source