sorted by: recent | see : popular

Content Tagged with functional + monad

Abstraction is the bread and butter of our trade, right? The problem is that when you abstract too much, you don't always know where you came from and why. You see? The sentence above is already very abstract ;-). Let's try to be more concrete. I want to

Eric Torrebore describes a simple "validation results" monad. The concept is useful, but I'm turned off by the non-symbolic method used (?~!).

The following document is an attempt to explain monads in concrete visual terms. I shall use a metaphor of space stations and astronauts to cut down on the degree of abstraction. Hopefully this metaphor will help you lock into the internal logic

General (nearly all monads compose), mathematically elegant (use the standard categorical tools underpinning monads) and computationally expressive (support a canonical recursion operator).

So to save other people the trouble I went through I'm providing you with examples of Nomad Transformers at work. I'm not even going to explain in detail how they work, they're close to self-evident once the main features are pointed out.