35 lines
1.2 KiB
Markdown
Raw Normal View History

2016-02-19 17:56:09 +01:00
---
layout: pattern
title: Monad
folder: monad
permalink: /patterns/monad/
2016-02-19 19:08:35 +01:00
categories: Other
2016-02-19 17:56:09 +01:00
tags:
- Java
- Difficulty-Advanced
2016-02-19 19:08:35 +01:00
- Functional
2016-02-19 17:56:09 +01:00
---
## Intent
Monad pattern based on monad from linear algebra represents the way of chaining operations
together step by step. Binding functions can be described as passing one's output to another's input
2016-02-19 19:08:35 +01:00
basing on the 'same type' contract. Formally, monad consists of a type constructor M and two
operations:
bind - that takes monadic object and a function from plain object to monadic value and returns monadic value
2016-02-21 12:10:08 +01:00
return - that takes plain type object and returns this object wrapped in a monadic value.
2016-02-19 17:56:09 +01:00
![alt text](./etc/monad.png "Monad")
## Applicability
Use the Monad in any of the following situations
* when you want to chain operations easily
* when you want to apply each function regardless of the result of any of them
## Credits
2016-02-19 19:08:35 +01:00
2016-02-19 17:56:09 +01:00
* [Design Pattern Reloaded by Remi Forax](https://youtu.be/-k2X7guaArU)
* [Brian Beckman: Don't fear the Monad](https://channel9.msdn.com/Shows/Going+Deep/Brian-Beckman-Dont-fear-the-Monads)
2016-02-20 15:01:45 +01:00
* [Monad on Wikipedia](https://en.wikipedia.org/wiki/Monad_(functional_programming))