#haskell - Mon 19 Feb 2007 between 01:56 and 02:34

NY Lost Funds



dons?? -> *
jcreighhmm
donsso you could say that all kinds in haskell have sort ??
so the many many possible values in haskell have a few types
those types have even less kinds,
and all the kinds are of a single sort, ??
:-)
pjdoff-topic: has anyone noticed that you could write the State monad bind as x >>= f = \s -> uncurry f (x s) ?
bd_wait, isn't (->) :: Kind -> Kind -> Kind? You seem to imply it can take both sorts and kinds...
donswell, ?? isn't really a sort
its kind's superclass :-)
so kind subtyping, in ghc
yay yhc is almost building!
ddariuspjd: Well, that monad does come from the adjunction that curry/uncurry is a part of.
pjdddarius: tell me more!
or, where can i read more?
what exactly is the adjunction that curry/uncurry is a part of?
ddariuspjd: Any introduction to category theory that goes over adjunctions and monads will show the general construction.
Ax-
Ax- -| A -> -
pjdhmm
ddariusThe isomorphism of the homsets is curry and uncurry.
The monad is composed from the right followed by the left functor, i.e. A -> Ax-
abzI just finished my first real site using a bit of Ajax and Haskell: sdrit.com
Just as I finished it though, I realised that I've broken the back button.
I feel sooo dirty
bd_What happens if javascript is turned off? :)
abzdon't know
the site just doesn't work if you turn off JS
Cheery"Welcome to SDR IT, where Software is Done Right."
and you use javascript. :P
bd_Every time someone uses AJAX to cripple functionality, god kills a kitten. Please, think of the kittens. :(
abzI know...I feel so bad. I'll have to fix that tomorrow
bd_[same goes for XML, MVC, CORBA, XSLT, and nearly any other buzzword acronym one can think of]
Cheerybd_: Actually, every time somebody uses especially those to anything, god kills an eastern culture.
goltrpoatbd_: i can see CORBA, but what's wrong with multivariable calculus?
bd_Cheery: There is the rare case where someone uses them in a useful manner, but I suppose that's just a statistical fluke.
goltrpoat: Nothing, god just failed that class back in his college days and feels the need to take it out on someone, is all.
abzis anyone using IE out there and can tell me whether the site looks correct?
bos@hoogle assoc

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

IrcArchive

NY Lost Funds