Related topics

A question about "monad laws"
It may only be executed by a method specific to the given monad - usually not alone but after gluing it with many more actions by >>=. The other thing which is unclear to me is which parts of a monad are strict or potentially lazy. I'm not sure what you mean. In general it depends on the monad whether "running it"

monad transformers
So if you map a network drive using "net use" or you plug in a USB drive, it will automatically show up in Monad. -- Jeff Jones [MSFT] Monad Development Microsoft Corporation This posting is provided "AS IS" with no warranties, and confers no rights. "Alex B Chalmers" <alexbchalm...@gmail.com> wrote in message

using the writer monad to better understand ...
Felipe Lessa felipe.le...@gmail.com fa haskell On Feb 10, 2008 9:52 PM, Thomas Hartman <tphya...@gmail.com> wrote: So, I would say this proves my main point, which was that you could accomplish the same thing using the writer monad that you could do using the more "ad hoc" trace function from Debug.Trace.

Monad + Linq
math.canterbury.ac.nz> wrote: And what the heck is a "monad"? http://en.wikipedia.org/wiki/Monad That's no help at all! The article pretty much assumes that one already knows essentially what they are. Please tell us what a monad is, in simple language, without using other technical terms, in no more than one

Monad: The Future of Windows Scripting
Tomasz Zielonka t.zielo...@zodiac.mimuw.edu.pl comp lang functional Note: I am going to talk about Monads in Haskell. Joachim Durchholz wrote: From what I have read about monads, and some exploration of the monad laws by myself, I think that monads are essentially a framework for "sticking together sequences of

Monad IRC
This newsgroup has been carrying numerous undisputed statements that Maybe is a monad, and even a few that List is a monad. Yes, they are definitely monads all right. So is Either. Note that when people say that in Haskell "List" is a monad, they mean that the type constructor "[]" with arity 1 is a monad.

Inverting a Monad
John Peterson peterson-j...@cs.yale.edu comp lang functional While it's great that you are trying to learn about monads, it's sort of hard to figure what what is wrong with your code when you don't really say what it is you're trying to do with monads. While I can fix the type errors, it's not clear what you want

Monad: Why I think it needs a pick-property cmdlet
apfelmus apfel...@quantentunnel.de fa haskell Deokjae Lee wrote: Tutorials about monad mention the "monad axioms" or "monad laws". The tutorial "All About Monads" says that "It is up to the programmer to ensure that any Monad instance he creates satisfies the monad laws". The following is one of the laws.

A question about "monad laws"
Butterfi...@cs.tcd.ie fa haskell Andrew Butterfield wrote: let m denote the "list monad" (hypothetically). Let's instantiate: return :: x -> [x] return x = [x,x] (>>=) :: [x] -> (x -> [y]) -> [y] xs >>= f = concat ((map f) xs) Let gn = [show n] Here (return 1 >>= g ) [1,2,3] = ["1","1","1","1","1","1"] but g[1,2,3]

"Wrong kind" when attempting to build a monad ...
Jed Brown j...@59A2.org fa haskell. Haskell-Cafe mailing list Haskell-C...@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe --

A question about "monad laws"
Simon Peyton-Jones simo...@microsoft.com fa haskell Alex Following the declaration of "instance Monad []" in the prelude, and puzzling over the absence of its equivalent from Data.Set, I naively typed: instance Monad Set where m >>= k = concatSets (mapSet km) return x = unitSet x fail s = emptySet concatSets sets

Subsets of monad state
The first question just involves monad transformers ("Env" in particular), and the second deals with aspects of implementing monads in a strict, imperative language. Question 1: I have read a bit about "monad transformers", and they seem pretty cool. One useful monad transformer is "Env": -- some Haskell code I

"Wrong kind" when attempting to build a monad for a ...
Richard A. O'Keefe o...@cs.otago.ac.nz fa haskell On 14 Feb 2008, at 10:24 pm, Roman Leshchinskiy wrote: Do I understand correctly that you advocate using overflowing ints (even if they signal overflow) even if Integers are fast enough for a particular program? No you most certainly do NOT. There is no way to soundly

Why is newChan in the IO Monad?
John Meacham j...@repetae.net fa haskell So, I create my own monad transformers quite often, It is great to be able to compose 5 or 6 transformers to get the perfect one for a given task. for example here is one for collecting statistics: -- The stats newtype Stat = Stat (Map.Map Atom Int) instance Monoid Stat

A question about "monad laws"
ListT-Done-Right could also be defined via the Unimo framework, and then it would satisfy the monad laws. The list monad transformer implemented with Unimo (figure 13) is different from ListT ma = m [a] (figure 11 for reference). Note that I say "the list monad transformer". I don't understand what's so special

A question about "monad laws"
math.canterbury.ac.nz> wrote: And what the heck is a "monad"? http://en.wikipedia.org/wiki/Monad That's no help at all! The article pretty much assumes that one already knows essentially what they are. Please tell us what a monad is, in simple language, without using other technical terms, in no more than one

A question about "monad laws"
Frederick Williams "Frederick_Williams"@antispamhotmail.co.uk.invalid sci logic Bill Taylor 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. In the category theory sense, the Leibnizian sense,

State monads don't respect the monad laws in Haskell
It looks to me like Unimo is just an attempt to provide an easier way to create, use, and understand monads, not a change in their semantics. ListT-Done-Right could also be defined via the Unimo framework, and then it would satisfy the monad laws. Thanks, Yitz

compound monad problem...
... alt.binaries.pictures.bluebird alt.binaries.pictures.erotica.asian.indian alt.binaries.pictures.erotica.blondes <6dg29t$o7d$...@news.monad.net> alt.sex. cthulhu <6dg2a8$o7d$...@news.monad.net> alt.sex.enemas <6dg2ah$o7d$...@news.monad.net> alt.sex.escorts.ads <6dg2aj$o7d$...@news.monad.net> alt.sex.exhibitionism

A question about "monad laws"
MSH> get-process | select Id,MainModule | get-member Here you cannot expect Monad to return the members of a ProcessModule object since you passed two properties of the Process object, one of them (Id) having nothing to do with the ProcessModule object. MSH> get-process | select Id,MainModule | where {$_.