» tagged pages
» logout

sorted by: recent | see : popular
Content Tagged with monads + cs

A Neighborhood of Infinity: How to write tolerably efficient optimzation code without really trying...

"a simple DSL for specifying a wide range of optimisation problems with polynomial instead of exponential complexity."

Haskell: del.icio.us tag/haskell

An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming (ResearchIndex)

The purpose of this technical report is to give a category theoretic introduction to monads, and to explore the relationship to what functional programmers term a monad

Haskell: del.icio.us tag/haskell

Merging Monads and Folds for Functional Programming - Meijer, Jeuring (ResearchIndex)

These notes discuss the simultaneous use of generalised fold operators and monads to structure functional programs. Generalised fold operators structure programs after the decomposition of the value they consume. Monads structure programs after the comput

Haskell: del.icio.us tag/haskell

Good Math, Bad Math : The Theory of Monads and the Monad Laws

As promised, I'm finally going to get to the theory behind monads. As a quick review, the basic idea of the monad in Haskell is a hidden transition function - a monad is, basically, a state transition function.

Haskell: del.icio.us tag/haskell

A Neighborhood of Infinity: The Monads Hidden Behind Every Zipper

"this dichotomy between push and pull, scatter and gather, is pervasive all the way through computing, and it's quite pretty that this deep notion it can be captured nicely by a(n almost) monad and a comonad."

Haskell: del.icio.us tag/haskell

Reddit discussion considered productive « Data.Syntaxfree

Great discussion of the nature of abstraction and analogy, with examples from probability theory, calculus, and programming. (Follow-up to "Do-notation considered harmful".)

Haskell: del.icio.us tag/haskell

Non-determinism monad

Non-deterministic monad: a tutorial

Haskell: del.icio.us tag/haskell

Page 1 | Next >>