Home
Olifante *'s Library tagged → View Popular
Abaababa: Monads are a class of hard drugs
"In Haskell, you have to start in the correct monad if you plan on doing any I/O (and you do). Ocaml's "implicit" monad is the same monad the overwhelming majority of programs live in: the imperative monad with exceptions."
The Trivial Monad
"Using return and bind we have achieved our goal of wrapping objects and freely manipulating wrapped objects while keeping them wrapped [...]. And that, really, sums up what a Haskell monad is all about."
The IO Monad for People who Simply Don't Care
"Many programming languages make a distinction between expressions and commands [...]. Haskell is no different [...]. The IO monad is just a device to help make this distinction. And that's the last time I'll mention the word 'monad' for a while."
Haskell Myths
"one finds many tenacious, fast myths about [Haskell]. [...] Most, I believe, are fuelled by people who have had the misfortune of checking for the braces and the for loop, failed to find them in Haskell, and jumped away with a rumour to spread"
Monad tutorials timeline
"This timeline covers not just monad tutorials, but interesting events in monad tutorial history."
[Haskell-cafe] there's a monster in my Haskell!
Monads as Monsters: "The divine among monsters is the mysterious and awesome IO. Its powers are vast, perhaps limitless, and beginners are taught that it cannot be slain. Like poisoned candy and release dates, this is of course a myth."
Enfranchised Mind » A Monad Tutorial for Ocaml
"Monads are first and foremost a design pattern, as in the Gang of Four “Design Patterns” book.
Specifically, it’s a design pattern for manipulating computations and enforcing certain semantic constraints."
Monad Description For Imperative Programmer
"i/o: primitive monadic things are basic i/o operations, the 'run' operation is outside the language, applied to 'Main.main', and interprets (abstract) IO monad structures sequentially"
Fabulous Adventures In Coding : What exactly does "lifted" mean?
''' “lifted” means “takes nulls, always agrees with the unlifted version when arguments are not null, maps everything else onto null”. '''
Haskell Study Plan
Nice introduction to advanced Haskell topics, such as Phantom Types, Existential Types and Generalized Algebraic Data Types
Monads through Pictures
Marvelous explanation of Monads. The author introduces the reverse bind operator =<<, uses it to pipe together monad producers and shows how this is analogous to ordinary pure-function composition.
Selected Tags
Related Tags
Sponsored Links
Top Contributors
Groups interested in Monads
Highlighter, Sticky notes, Tagging, Groups and Network: integrated suite dramatically boosting research productivity. Learn more »
Join Diigo