X from first principles

or What is X for ?

Function composition

• 1 (Haskell)

Functor, Applicative, Monad

• 1 (Haskell), 2 (Haskell, Video)

  One-line summary:

  • Functor: generalizes function application to work with boxed values
  • Applicative: generalizes boxed function application to work with functions of arity > 1
  • Monad: we have a wrapped value, and we add "actions" to it one by one, so monad generalizes function composition to work with functions returning boxed values

Free Monad

• Free Monad 1 (Haskell)
• Free Monad 2 (Haskell)

Monad Transformer

• Monad Transformers (Haskell)

Lens (Costate Comonad Coalgebra)

• Lens 1 (Haskell)
• Lens 2 (Racket)
• Lens 3 (Haskell)

LICENSE

GLWTS(Good Luck With That Shit) Public License Copyright (c) Every-fucking-one, except the Author

The author has absolutely no fucking clue what the code in this project does. It might just fucking work or not, there is no third option.

Everyone is permitted to copy, distribute, modify, merge, sell, publish, sublicense or whatever the fuck they want with this software but at their OWN RISK.

            GOOD LUCK WITH THAT SHIT PUBLIC LICENSE

TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION, AND MODIFICATION

0. You just DO WHATEVER THE FUCK YOU WANT TO as long as you NEVER LEAVE A FUCKING TRACE TO TRACK THE AUTHOR of the original product to blame for or held responsible.

IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

Good luck and Godspeed.