Quotes
From HaskellWiki
(Difference between revisions)
m (categorise) |
(monadic mirth) |
||
| Line 34: | Line 34: | ||
-- | -- | ||
Ashley Yakeley, Seattle WA | 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?" | ||
</pre> | </pre> | ||
[[Category:Community]] | [[Category:Community]] | ||
Revision as of 15:10, 15 June 2007
<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?"
