|dons||?? -> *|
|dons||so 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, ??
|pjd||off-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...|
|dons||well, ?? isn't really a sort|
its kind's superclass :-)
so kind subtyping, in ghc
yay yhc is almost building!
|ddarius||pjd: Well, that monad does come from the adjunction that curry/uncurry is a part of.|
|pjd||ddarius: tell me more!|
or, where can i read more?
what exactly is the adjunction that curry/uncurry is a part of?
|ddarius||pjd: Any introduction to category theory that goes over adjunctions and monads will show the general construction.|
Ax- -| A -> -
|ddarius||The isomorphism of the homsets is curry and uncurry.|
The monad is composed from the right followed by the left functor, i.e. A -> Ax-
|abz||I 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
the site just doesn't work if you turn off JS
|Cheery||"Welcome to SDR IT, where Software is Done Right."|
|bd_||Every time someone uses AJAX to cripple functionality, god kills a kitten. Please, think of the kittens. :(|
|abz||I 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]|
|Cheery||bd_: Actually, every time somebody uses especially those to anything, god kills an eastern culture.|
|goltrpoat||bd_: 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.
|abz||is anyone using IE out there and can tell me whether the site looks correct?|