[Haskell] ANNOUNCE: isohunt-0.1, bindings to isoHunt API

Hi list, I'm pleased to announce the first release to Hackage of isohunt, a library which binds to the isoHunt API. See http://hackage.haskell.org/package/isohunt Cheers, Reiner___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman

[Haskell] CFP: TFP12, Trends in Functional Programming 2012, St Andrews, U.K., June 12-14, 2012

[In short: submissions of papers & ext'd abstracts by March 26th; TFP12 symposium June 12-14th; Apologies for multiple copies of this call -- HWL ] CALL FOR PAPERS 13th International Symposium

[Haskell] Higher types in contexts

Is there any deep reason why I can't write a polymorphic type in a context? I think the record update problem can be (sort of) solved if you could write: class Has r Rev (forall a. [a] -> [a]) => HRClass r where setHRClass :: (forall a.[a] -> [a]) -> r -> r but polymorphic types are not