Personal tools

Quotes

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(initial content)
 
(Id monad)
 
(8 intermediate revisions by 4 users not shown)
Line 1: Line 1:
How to get this to display as if pre tags were around it?
+
<pre>
 
 
<nowiki>
 
 
<Philippa> do we have a case of haskell faster than C on a platform where GHC
 
<Philippa> do we have a case of haskell faster than C on a platform where GHC
 
compiles via C and doesn't screw with the output yet?
 
compiles via C and doesn't screw with the output yet?
Line 34: Line 34:
 
--
 
--
 
Ashley Yakeley, Seattle WA
 
Ashley Yakeley, Seattle WA
</nowiki>
+
%
  +
<kaol> @src liftM
  +
<lambdabot> liftM f m1 = do { x1 <- m1; return (f x1) }
  +
<kaol> @src liftM2
  +
<lambdabot> liftM2 f m1 m2 = do { x1 <- m1; x2 <- m2; return (f x1 x2) }
  +
<osfameron> does that lift monads which are twice as heavy?
  +
<LoganCapaldo> No, it just lifts a monad in each hand
  +
<osfameron> harr!
  +
<byorgey> you know what they say, a monad in each hand is better than two in
  +
the bush... no wait...
  +
<jfredett> if this were not a family chat channel, I might say something about that...
  +
<DRMacIver> Hand me a long enough monad and I will move the world?
  +
<cjeris> jfredett: yeah, well, the first time I tried to explain what was
  +
different about Haskell to my wife, her response was "Monad? Is that
  +
when you only have one ball?"
  +
%
  +
* EvilTerran . o O ( is a comathematician a device for turning theorems into coffee? )
  +
<oerjan> EvilTerran: no, it's for turning cotheorems into ffee.
  +
<slava> oerjan: it's not clear that the category of cocoffee is isomorphic to ffee
  +
<oerjan> slava: bah, it's mpletely coclear.
  +
%
  +
<roconnor> comonads are just as hard to understand as monads.
  +
<Toxaris> you have to co-understand them?
  +
<quicksilver> Toxaris: I believe you actually have to over-costand them
  +
%
  +
<wli> Modius: nub
  +
<Modius> Thanks
  +
<evir> If this was a gaming channel, one could take that as an insult.
  +
<idnar> evir: wtf stfu
  +
<olsner> how? it's a haskell function - gamers don't know haskell!
  +
<evir> idnar: dieplzkthx
  +
<idnar> evir: lol no u
  +
<EvilTerran> zomglolwut
  +
<idnar> this is vaguely disturbing
  +
<Modius> If I'd have asked for the search clause they would have called you a nubBy
  +
%
  +
<ehird> <interactive>:1:4:
  +
<ehird> My brain just exploded.
  +
<ehird> I can't handle pattern bindings for existentially-quantified constructors.
  +
<ehird> ^_____^
  +
<ehird> I DID IT
  +
<ehird> I DID IT I DID IT I DID IT
  +
<ehird> rite of passage #2: COMPLETE
  +
%
  +
<Twey> What's the use of the Id monad?
  +
<BMeph> Twey: The Id monad is used to express subliminal desires to make Monad Transformers act like Monads... ;p
  +
<edwardk> Its a little harder to reason with than the Ego monad however
  +
<Dzlk> However, you can make the Id monad somewhat better behaved by wrapping it in SuperegoT.
  +
</pre>
  +
  +
[[Category:Community]]

Latest revision as of 02:15, 6 August 2008

<Philippa> do we have a case of haskell faster than C on a platform where GHC
           compiles via C and doesn't screw with the output yet?
<jethr0> wouldn't that just be a blatant case of slow c benchmarking code? :)
<dons> the concurrency or binary tree benchmarks?
<jethr0> someone could put the haskell intermediate c code up as the c benchmark *g*
<musasabi> yes, 30000 lines of C? ;)
%
seen on comp.lang.functional:

 From: Ashley Yakeley <ashley@semantic.org>
 Subject: Re: Type advocacy
 Newsgroups: comp.lang.functional
 Date: Thu, 11 Oct 2001 21:16:20 -0700
 Organization: Myself

 In article <9pdvgc$u3d$1@news.fas.harvard.edu>, Ken Shan
 <ken@digitas.harvard.edu> wrote:

 > I am preparing a three-minute talk to tell incoming graduate students
 > at my school about types.

 Oh like that's going to work. You'd be better off selling T-shirts that
 say "WHAT PART OF" (and then the Hindley-Milner prinicipal-type
 algorithm) "DON'T YOU UNDERSTAND?".

 If anyone gives you any lip, ask them how to find the square-root of a
 string. Everything else follows on from that.

 > What pointers should I give?

 Safe ones.

 --
 Ashley Yakeley, Seattle WA
%
<kaol> @src liftM
<lambdabot> liftM f m1 = do { x1 <- m1; return (f x1) }
<kaol> @src liftM2
<lambdabot> liftM2 f m1 m2 = do { x1 <- m1; x2 <- m2; return (f x1 x2) }
<osfameron> does that lift monads which are twice as heavy?
<LoganCapaldo> No, it just lifts a monad in each hand
<osfameron> harr!
<byorgey> you know what they say, a monad in each hand is better than two in
	  the bush... no wait...
<jfredett> if this were not a family chat channel, I might say something about that...
<DRMacIver> Hand me a long enough monad and I will move the world?
<cjeris> jfredett: yeah, well, the first time I tried to explain what was
	 different about Haskell to my wife, her response was "Monad?  Is that
	 when you only have one ball?"
%
* EvilTerran . o O ( is a comathematician a device for turning theorems into coffee? )
<oerjan> EvilTerran: no, it's for turning cotheorems into ffee.
<slava> oerjan: it's not clear that the category of cocoffee is isomorphic to ffee
<oerjan> slava: bah, it's mpletely coclear.
%
<roconnor> comonads are just as hard to understand as monads.
<Toxaris> you have to co-understand them?
<quicksilver> Toxaris: I believe you actually have to over-costand them
%
<wli> Modius: nub
<Modius> Thanks
<evir> If this was a gaming channel, one could take that as an insult.
<idnar> evir: wtf stfu
<olsner> how? it's a haskell function - gamers don't know haskell!
<evir> idnar: dieplzkthx
<idnar> evir: lol no u
<EvilTerran> zomglolwut
<idnar> this is vaguely disturbing
<Modius> If I'd have asked for the search clause they would have called you a nubBy
%
<ehird> <interactive>:1:4:
<ehird>     My brain just exploded.
<ehird>     I can't handle pattern bindings for existentially-quantified constructors.
<ehird> ^_____^
<ehird> I DID IT
<ehird> I DID IT I DID IT I DID IT
<ehird> rite of passage #2: COMPLETE
%
<Twey> What's the use of the Id monad?
<BMeph> Twey: The Id monad is used to express subliminal desires to make Monad Transformers act like Monads... ;p
<edwardk> Its a little harder to reason with than the Ego monad however
<Dzlk> However, you can make the Id monad somewhat better behaved by wrapping it in SuperegoT.