Related topics

Monad
#3 $40 $7 alomar...@aol.com Derek Jeter 97 New Pinnacle/Meuseum Collection #53 $30 $4 slfletc...@top.monad.net Derek Jeter 97 Flair Showcase/Diamond Cuts #13 $25 Portraits #4 $20 $1 slfletc...@top.monad.net Derek Jeter 97 Donruss/Armed and Dangerous #11 $20 $1.25 dschr...@spacestar.net Derek Jeter 96 Pinnacle

A question about "monad laws"
The monad clock refutes time. JJ Soundes like a Gonad clock. Monad (From the Greek monas, monados). Monad, in the sense of "ultimate, indivisible unit," appears very early in the history of Greek philosophy. In the ancient accounts of the doctrines of Pythagoras, it occurs as the name of the unity from which,

How to lift delete to State List monad?
CL-MONAD:MONAD-LAMBDA
(N) (CA.PVK.CL-MONAD:BIND (CA.PVK.CL-MONAD:MONAD-FUNCALL (CA. PVK.CL-MONAD::MAYBE-MONAD- FUNCTION <) N 2) (CA.PVK. CL-MONAD::MAYBE-MONAD- FUNCTION +) #:ARG1579 #:ARG1580))))))))))))) Where monad-funcall is (defun monad-funcall (fn &rest args) (if (monadifiedp fn) (apply fn args) (let

Spam NoCeM report spam.199803022300.01 @@NCM
I just think that your understanding of monad needs some rethinking. Possibly - I think I'm back on-track now, but there's always the possibility of yet another basic misunderstanding. Joachim Durchholz wrote: Well, there are similarities, but aren't you abusing them? I don't think so.

Is it an object? is it a monad? No! its ...
I have recently been reading a tutorial or paper where a Monad that violated this law was presented. The authors shrugged it off as not important, that the notation gained by implementing the operation as a Monad was worth it, but what is not clear is what the consequences of violating such associativity are.

Ultimate No Minimum Bid Auction UD#7
Arnar Birgisson arna...@gmail.com fa haskell Hi all, On Feb 11, 2008 3:14 PM, apfelmus <apfel...@quantentunnel.de> wrote: I will be mean by asking the following counter question: x + (y + z) = (x + y) + z is a mathematical identity. If it is a mathematical identity, a programmer need not care about this law to

Monad IRC
Dan Piponi dpip...@gmail.com fa haskell IOn Feb 11, 2008 9:46 AM, Miguel Mitrofanov <miguelim...@yandex.ru> wrote: It's well known that "ListT m" monad violates this law in general (though it satisfies it for some particular monads m). For example, I went through this example in quite a bit of detail a while ago

What is a monad
See this page for lots of details about the Monad Laws and quite a nice explanation of where you use them: http://www.haskell.org/haskellwiki/Monad_Laws My favorite presentation of the monad laws is associativity of Kliesli composition: (a1 >=> a2) x = a1 x >>= a2 -- predefined in 6.8 control.monad -- The laws

Cosmological and psychological objects, and the monad
Roman Leshchinskiy r...@cse.unsw.edu.au fa haskell Aaron Denney wrote: On 2008-02-14, Roman Leshchinskiy <r...@cse.unsw.edu.au> wrote: Richard A. O'Keefe wrote: SafeInt is what you should use when you *THINK* your results should all fit in a machine int but aren't perfectly sure. (And this is nearly all the time.

What is a monad
o...@pobox.com
fa haskell It seems it is possible to implement polymorphic references using the regular (not IO and not ST) monad and without resorting to any unsafe extension. Furthermore, that monad has a run function, which does not compromise the type safety. When I claimed in the previous message that the

Some monad questions
It just disrupts the flow of how I want to work with Monad. I'm bought into the object pipeline concept. I want to use cmdlets within the pipeline and based on the simple filter defined above - it clearly can be done. Agree. Testing a command and passing it to the pipeline to take its results to the next command,

A question about "monad laws"
Bas van Dijk v.dijk....@gmail.com fa haskell On Feb 7, 2008 4:58 AM, David Menendez <d...@zednenem.com> wrote: If you're doing any kind of backtracking or non-determinism, you might consider the msplit operation defined in "Backtracking, Interleaving, and Terminating Monad Transformers"

Tutorial for using the state monad or a better ...
o...@pobox.com fa haskell The familiar State monad lets us represent computation with a state that can be queried and updated during the computation. The state must have the same type during the entire computation however. One sometimes wants to express a computation where not only the value but the type of the

Monad clock
math.canterbury.ac.nz> wrote: I ask again:- Could someone please give EXAMPLES of monads; and also examples of things which might superficially be thought to be such, but which are NOT monads. Thanks. -- Bitching Bill The religious pray to become better people. The secular already are. Here are some, non-monads,

A question about "monad laws"
George Russell g...@tzi.de fa haskell Simon Marlow wrote [snip] So the IO monad in Haskell, at least as we understand it, doesn't satisfy the monad laws (or, depending on your point of view, seq breaks the monad laws). [snip] Cheers Simon. One of the awkward things about the Haskell events I implemented is that

Spam NoCeM report spam.199803022200.01 @@NCM
Stefan O'Rear stefa...@cox.net fa haskell. Haskell-Cafe mailing list Haskell-C...@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe --

Scheme equivalent of Maybe monad in Haskell or SOME|NONE in SML.
... BODY # monad.net man3-pool-44.fcgnetworks.net znn3pYqrjfZ2LaDliHSzFg== 140/14 <79bmfr$rc...@news.monad.net> alt.sex.erotica.market.place # monad.net man3-pool-44.fcgnetworks.net Vtm+nLwBvWGIbzLdSo5vSA== 132/14 <79bmhl$rc...@news.monad.net> alt.sex.erotica.market.place # monad.net man3-pool-44.fcgnetworks.net

using the writer monad to better understand ...
asdf a...@asdf.com microsoft public scripting wsh irc. freenode. net #monad *************** irc is a protocol freeode is an outright deception by name net is the attempt to do some vb controls on a server # is a junkie monad will not work because it is not a single celled organism, from which the world is build.

What is a monad
Some GREAT 3M stuff here (butterdish Monad AND gamette Monad, Bazaar, Tryce, Evade, Feudal etc.), Avalon Hill (UNPUNCHED Afrika Korps, Panzerblitz with BONUS, Gettysburg), SPI's uncommon Robert at Bannockburn, science fiction and fantasy stuff like Imperium and Melee and lots of other tasty items.

Monad information and Monad Bloggers
Jo...@woofumdust.com> pisze: (||*):: Vi Bool -> Vi Bool -> Vi Bool b1 ||* b2 = do p <- b1 if p then return True else b2 The definition does not use anything specific to this particular monad. The most general type that can be derived for this function is (||*):: Monad m => m Bool -> m Bool -> m Bool Should I make a