#haskell - Sun 25 Mar 2007 between 00:43 and 00:55

NY Lost Funds



nmessengerjcreigh: and fmap vs. (.)? :)
Saizanmap = fmap; (.) = fmap, and all is just right!
nmessengervs. liftM vs. liftA?
jcreighnmessenger: I don't fully understand that relationship yet...I can see the outlines of it, and it looks really cool.
nmessengertype BlahReader a = Blah -> a; fmap (f :: a -> b) :: BlahReader a -> BlahReader b
sorearnmessenger: what do you think of ndm's point?
jcreighbut I didn't learn Haskell because I thought it would be easy. If you want VB, you know where to find it. :)
s/learn/start to learn/
nmessengersorear: it's a good point
newshamhttp://www.coverproject.org/ <- sweet!
lambdabotTitle: Cover Project
nmessengergeneralizing, type Reader r a = r -> a; thus Reader and (->) are the same, and thus fmap :: (a -> b) -> (Reader r a) -> Reader r b), or after type aliasing, fmap :: (a->b) -> (r->a) -> (r->b)
you can see (r->a) as a computation that result's in a's. fmap (f :: a -> b) changes the 'a' into a 'b' by hooking f onto its end.
dolio?src (->) join
lambdabotSource not found. My mind is going. I can feel it.
dzhefriI'm reading an older book that uses the function >.>, which doesn't seem to exist in GHC -- did it get replaced with something else?
stepcutsorear: regarding Prelude -- I am reminded of this 'famous anecdote'
hpastestepcut pasted "Famous Anecdote about Make" at http://hpaste.org/1127
dzhefrior, doesn't exist in the prelude, i guess i should say
nmessengerdolio: join is defined in terms of (>>=), :(
@src join
lambdabotjoin x = x >>= id
nmessenger@src (->) (>>=)
lambdabotf >>= k = \ r -> k (f r) r
doliodzhefri: What does it do in the paper?
nmessenger\ r -> id (f r) r
dzhefriit's like . , but in the other direction
nmessenger= \ r -> f r r
soreardzhefri: >>>?
dolioYeah. join doesn't have to, though, I think.
sorear> ((+20) >>> (*2)) 1
lambdabot42
dzhefridolio: so (f >.> g) is the same as (g . f)
soreardzhefri: >>> will do then (Control.Arrow)
dolioAh. Yeah. >>> does the same thing now, as sorear said.
nmessenger(>.>) is an awesome opname btw :D
sorear>=> is cooler
^-^ has been mentioned before
@quote kore
lambdabotFailure02 says: in haskell you can have korean smilies as variables! like (^-^)

Page: 5 12 19 26 33 40 47 54 61 68 75 82 89 96 103 110 

IrcArchive

NY Lost Funds