[Haskell-cafe] [ANNOUNCE] hashable-generics

2012-11-02 Thread Clark Gaebel
Hi everybody! I have just released a handy package on Hackage that will interest you if you've ever used unordered-containers with a custom type. In order to do such a thing, you'd need to define an instance of Hashable. This process could easily be automated. And so I did. {-# LANGUAGE DeriveG

Re: [Haskell-cafe] [Agda] How to avoid T3 fonts in pdf generated with lhs2TeX?

2012-11-02 Thread Andreas Abel
Hi, I found the problem, it solved itself with an update of the TeXLive suite... https://github.com/kosmikus/lhs2tex/issues/24 Thanks for your help! Andreas On 01.11.12 11:15 PM, Dominique Devriese wrote: Andreas, 2012/11/1 Andreas Abel : Hello, maybe someone has experience in publishing

[Haskell-cafe] haskell.org committee: Call for nominations

2012-11-02 Thread Jason Dagit
Dear Haskellers, The second year of the haskell.org committee is drawing to a close and it is therefore time to seek replacements for those members whose term is expiring. This year one member has a term ending, Ganesh Sittampalam. Ganesh has been an excellent contributor and the rest of the comm

Re: [Haskell-cafe] Unicode case (in)stability and Haskell identifiers.

2012-11-02 Thread Max Rabkin
I try to maintain some knowledge of Unicode issues, but this one never occurred to me. On Fri, Nov 2, 2012 at 10:28 AM, Richard O'Keefe wrote: > Would anyone care to see and comment on the proposal > before I send it to Unicode.org? Anyone got any suggestions > before I begin to write it? > I

Re: [Haskell-cafe] [Security] Put haskell.org on https

2012-11-02 Thread Jason Dagit
Thanks Iavor et al. I agree. I'll see what we can do. We have budget for this so hopefully it will be a simple matter of finding people to implement the change. Jason On Fri, Nov 2, 2012 at 10:34 AM, Iavor Diatchki wrote: > Hello, > > I think that getting a certificate is a good idea. I think

Re: [Haskell-cafe] [Security] Put haskell.org on https

2012-11-02 Thread Iavor Diatchki
Hello, I think that getting a certificate is a good idea. I think this could probably be arranged by the haskell.org committee, which even has a budget for things like that, I believe. I'm cc-ing Jason, who's on the committee and might have more input on what's the best way to proceed. Thanks f

Re: [Haskell-cafe] [Security] Put haskell.org on https

2012-11-02 Thread Ramana Kumar
Who is the webmaster for haskell.org? Presumably they will be required in the process of installing the certificate. As far as obtaining goes, one can obtain a free certificate from StartSSL - see https://www.startssl.com There are other CAs, but if nobody has any strong preferences, I recommend g

[Haskell-cafe] [solved] forall disappear from type signature

2012-11-02 Thread Takayuki Muranushi
Today, I encountered a strange trouble with higher-rank polymorphism. It was finally solved by nominal typing. Was it a bug in type checker? lack of power in type inference? or lack of my understanding? I'll submit this in hope that it will at least result in better GHC error message some day: My

[Haskell-cafe] Unicode case (in)stability and Haskell identifiers.

2012-11-02 Thread Richard O'Keefe
I've been putting together a proposal for Unicode identifiers in Erlang (it's EEP 40 if anyone wants to look it up). In the course of this, it has turned out that there is a technical problem for languages with case-significant identifiers. Haskell 2010 report, chapter 2. http://www.haskell.org/o