monad

Thoughts on Monad, Monad-enabled editors, virtual filesystem
E...@None.com> comp.sys.ibm.pc.games.rpg <6dftk9$gn7$...@news.monad.net> alt.sex.fetish.orientals <6dftjp$h3s$...@news.monad.net> alt.sex.prostitution <6dftjt$h3s$...@news.monad.net> alt.sex.safe <6dftkf$h3s$...@news.monad.net> alt.sex.services <6dftlk$h3s$...@news.monad.net> alt.sex.sm.fig

Is it an object? is it a monad? No! its ...
What is Soul-Monad ? How to get Unanimity ? ... Monad diagnostic give you new knowledge yourselves more ! Welcome http://i.am/monad ! Creative group 'Monados' -- ------------------------------------------------------------------ Michael Feld Dept. of Philosophy University of Manitoba Winnipeg, MB, R3T 2M8,

proving the monad laws
Uwe Hollerbach uhollerb...@gmail.com fa haskell On Feb 12, 2008 6:12 AM, Jan-Willem Maessen <jmaes...@alum.mit.edu> wrote: On Feb 12, 2008, at 1:50 AM, David Benbennick wrote: On Feb 11, 2008 10:18 PM, Uwe Hollerbach <uhollerb...@gmail.com> wrote: If I fire up ghci, import Data.Ratio and GHC.

What is a monad
IO functions are constrained to be used in the IO monad by their types, but that doesn't make the extra-Haskell. You "string them up" within the IO monad because it provides sequencing. main isn't really a function, but an IO action that gets forced causing the rest of the program to execute.

A question about "monad laws"
Bas van Dijk v.dijk....@gmail.com fa haskell On Thu, Feb 28, 2008 at 8:28 AM, Aaron Altman <aalt...@pdx.edu> wrote: I am working on an AI agent that will perform a finite series of actions before starting the sequence over again. I figured a circular list of functions that shifts as you apply them would be the way

A question about "monad laws"
If it is mathematical identity, a programmer need not care about this law to implement a monad. Can anyone give me an example implementation of monad that violate this law ? It's well known that "ListT m" monad violates this law in general (though it satisfies it for some particular monads m).

A question about "monad laws"
mayayana mayayanaX...@mindXXspring.com microsoft public scripting wsh Could someone explain this? irc.freenode.net#monad irc.freenode.net brings up a 404 in my browser, so I gather it's not a website. Because of the increase in Monad related questions posted on usenet (especially in

A question about "monad laws"
When you told that monads are for stringing functions, what functions did you mean? The ones that are given as second argument to >>= or some internal functions of a particular monad? Those that are given as an argument to "return". "return" is the only function that takes item functions.

I, monad
Tomasz Zielonka t.zielo...@zodiac.mimuw.edu.pl comp lang functional Joe wrote: My notion of a monad is that: (1) A monad M is a type that represents a container for values that are to be used in a specific kind of function combination - to wit, the sort of combination implemented by M. You are yet another person

Spam NoCeM report spam.199803022130.01 @@NCM
(Someone will probably soon take the time to plug putty of openssh into a Monad provider, to get SFTP access in MSH, and it would probably be reasonably easy to add webdav access). A filesystem-like view for things like IMAP or MAPI mailboxes and the window's tree could also have interesting applications (eg take

Monad question
David Benbennick dbenb...@gmail.com fa haskell On Feb 11, 2008 10:18 PM, Uwe Hollerbach <uhollerb...@gmail.com> wrote: If I fire up ghci, import Data.Ratio and GHC.Real, and then ask about the type of "infinity", it tells me Rational, which as far as I can tell is Ratio Integer...? Yes, Rational is Ratio Integer.

Monads in Scheme?
A monad announces only itself, while an object can announce its neighbours. The distinction is ignored or not noted in the formal sciences, but was initially described by Kant (after Liebniz) and later independently formulated by Wittgenstein. For example, 1) The set 'the set of sets', announces object(s) with the

A question about "monad laws"
I'm no monad expert but I might be able to shed a little bit of light here. I think the sequencing in a monad is, initially, no different than the sequencing in your expression. I could go further and say that a "computation" is, initially, no different than any old Haskell expression made out of function

What is a monad
I don't think very well monadically, and I don't think I'm alone, given the perennial queries on clfunctional concerning "What's a monad?" Bluntly, monads are too mathematical a concept to base something as fundamental as I/O upon. I'm willing to be persuaded differently about this. You don't have to understand the

Monad zdeklasuje Basha... zanim Słońce zgaśnie
But still, I find it nice -- that there's a way to accomplish the exact same thing by using the writer or "debugger" monad -- which is pure as pure can get -- In this particular example, it doesn't matter if you use Debug.Trace or the writer monad. -- However, I am fidding around in another scenario (debugging a

A question about "monad laws"
In other words, I wonder if declaring a instance of the Monad class but not checking it for monad laws may cause any problems, except for not being qualified as a theoretical monad? Afaiu the monad laws are needed so the compiler can do various optimizations, especially in regard to the "do" notation.

A question about "monad laws"
The Breidbart Index is 44.00 (BI2: 44.00) Regards, Chris Lewis cle...@ferret.ocunix. on.ca Dates: Wed, 18 Feb 1998 18:15:15 -0500 6cfq5f$hk...@news.monad.net Wed, 18 Feb 1998 18:19:11 -0500 6cfqd6$i2...@news.monad.net Wed, 18 Feb 1998 18:53:47 -0500 6cfsds$kv...@news.monad.net Wed, 18 Feb 1998 18:54:12 -0500

A question about "monad laws"
Mark Carroll ma...@chiark.greenend.org.uk comp lang functional In article <btjkqo$35...@news.oberberg.net>, Joachim Durchholz <joachim.durchh...@web.de> wrote: (snip) This newsgroup has been carrying numerous undisputed statements that Maybe is a monad, and even a few that List is a monad.

A question about "monad laws"
Jeffrey Snover jsno...@microsoft.com microsoft public windows server scripting Monad will look to support LINQ in V2. We are really excited about LINQ. It is taking Monad's take on traditional Shell concepts (pipelining and fuzzy typing) and making them available to Systems Programming languages.

Adding Ord constraint to instance Monad Set?
You can execute a monad inside of the execution of another monad which works on a projection of the state of the enclosing monad. After this monad has finished, it injects the result back into the original monads state. There is a catchword for this ("lifting"?). I've forgotten, since I never played with this style