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

NY Lost Funds



nmessenger^o^
sioraiochtLOL
dzhefriIt does? I just tried ":t (>>>)" and i'm told "not in scope"
nmessengerControl.Arrow.>>>
soreardzhefri: Control.Arrow
stepcut: so, I've accomplished my goal of attracting attention?
dolio@pl \f g -> runKleisli (Kleisli f >>> Kleisli g)
lambdabot(runKleisli .) . (. Kleisli) . (>>>) . Kleisli
soreardolio: >=>
dolioYeah, I know.
I was just seeing how worse >>> is. :)
How much worse, that is.
jcreighheh heh...like the {op}= (as opposed to {op}=) form in C...they realize that i=-1 is ambiguous, so they changed it to i-=1, but were reluctant to disallow the =- form because of the then-thousands of lines of code that depended on it.
dzhefrihmm.... now I'm a bit confused
i'm told (>>>) :: (Arrow a) => a b c -> a c d -> a b d
soreardzhefri: that's correct
dolioYeah, but functions are arrows.
nmessengerdzhefri: yep, so a = (->)
soreardzhefri: as is (>>>) :: (a -> b) -> (b -> c) -> (a -> c)
===
dzhefriI think what i'm thinking of should be (a -> b) -> (b -> c) -> a -> c
sorear(>>>) :: ((->) a b) -> ((->) b c) -> ((->) a c)
===
(>>>) :: a b c -> a c d -> a b d (where a = (->))
stepcutsorear: I agree with the sentiment that it would suck to get stuck with what we have today, just because there are a few thousand haskell users, when someday there will be millions of users
sorear<=
jcreigha few thousand? Is that all?
sorear(>>>) :: Arrow a => a b c -> a c d -> a b d
dzhefrihmmm.... what's this arrow business?
dolioIf you use some funky GHC stuff, you can write (I think): (Arrow (~>)) => (a ~> b) -> (b ~> c) -> (a ~> c)
sorearyet another obscure abstraction
stepcutjcreigh: well, depends on who you count -- there are probably thousands of students alone
dolioWhich is perhaps somewhat more lucid, since you can replace ~> with -> there.
actionsorear changes topic to: #haskell is not #ghc! ...
sorearchanges topic to: #haskell is not #ghc! ...
nmessengerdzhefri: an Arrow is just a type that accepts two types, supports some functions, and adheres to laws. The (->) type fits the definition.
stepcutjcreigh: but, perhaps, thousands (10,000 - 100,000) people that would be more severely affected by breaking Prelude
sorearIMO we should introduce breaking changes into the language every 3 months
dzhefrinmessenger, okay, so what does it mean to support a function?
jcreigh"Haskell: thousands of voluntary users" :)
sorearwhether or not it is needed

Page: 1 8 15 22 29 36 43 50 57 64 71 78 85 92 99 106 

IrcArchive

NY Lost Funds