Re: [Haskell] ANNOUNCE: Functional Programming Bibliography

2010-01-14 Thread Janis Voigtländer
Isaac Dupree schrieb: (Is it essential that they *are* normalized? Also, by the way, your Yes. Take a German name (like mine), or a Spanish one, or ..., and you get problems with identifying. For example, ACMs Digital Library is not good at that. Is there related bibliographic-website work on

Re: [Haskell] ANNOUNCE: Functional Programming Bibliography

2010-01-14 Thread Janis Voigtländer
James Russell schrieb: On Thu, Jan 14, 2010 at 6:00 PM, Niklas Broberg wrote: I am pleased to announce the Functional Programming Bibliography at http://www.catamorphism.net/ Awesome indeed! I am eager for suggestions as to how the site could be made more useful. Allow (registered?) users t

Re: [Haskell] ANNOUNCE: Functional Programming Bibliography

2010-01-14 Thread Isaac Dupree
James Russell wrote: On Thu, Jan 14, 2010 at 6:00 PM, Niklas Broberg wrote: I am pleased to announce the Functional Programming Bibliography at http://www.catamorphism.net/ Awesome indeed! I am eager for suggestions as to how the site could be made more useful. Allow (registered?) users to

Re: [Haskell] ANNOUNCE: Functional Programming Bibliography

2010-01-14 Thread James Russell
On Thu, Jan 14, 2010 at 6:00 PM, Niklas Broberg wrote: >> I am pleased to announce the Functional Programming Bibliography >> at http://www.catamorphism.net/ > > Awesome indeed! > >> I am eager for suggestions as to how the site could be made more >> useful. > > Allow (registered?) users to submit

Re: [Haskell] ANNOUNCE: Functional Programming Bibliography

2010-01-14 Thread Sebastian Fischer
On Jan 15, 2010, at 12:00 AM, Niklas Broberg wrote: I am eager for suggestions as to how the site could be made more useful. Allow (registered?) users to submit links to papers that are missing? +1 -- Underestimating the novelty of the future is a time-honored tradition. (D.G.) ___

Re: [Haskell] ANNOUNCE: Functional Programming Bibliography

2010-01-14 Thread Niklas Broberg
> I am pleased to announce the Functional Programming Bibliography > at http://www.catamorphism.net/ Awesome indeed! > I am eager for suggestions as to how the site could be made more > useful. Allow (registered?) users to submit links to papers that are missing? /Niklas ___

[Haskell] ANNOUNCE: Functional Programming Bibliography

2010-01-14 Thread James Russell
I am pleased to announce the Functional Programming Bibliography at http://www.catamorphism.net/ The functional programming bibliography was created in the hope that it will be a useful resource to the functional programming community. The site is still in an early stage of development, and is pre

RE: [Haskell] Signature error because the order

2010-01-14 Thread Simon Peyton-Jones
In Haskell, the context of all functions in a mutually recursive group must be identical. http://haskell.org/onlinereport/decls.html#generalization Simon From: haskell-boun...@haskell.org [mailto:haskell-boun...@haskell.org] On Behalf Of Luis Cabellos Sent: 14 January 2010 11:26 To: haskell@has

Re: [Haskell] Signature error because the order

2010-01-14 Thread Martijn van Steenbergen
Hi Luis, Luis Cabellos wrote: But if I change the order of *Show* and *Num* in the signature of /prettyShow/ it works. It's a GHC problem? it's normal than signature is order-dependent? I think this is on purpose. The error specifically says that the contexts must be identical (rather than

[Haskell] Signature error because the order

2010-01-14 Thread Luis Cabellos
Hi, I found than this piece of code causes an error in GHC ( * http://haskell.pastebin.com/m5e3f4a4c* ): data Tree a = Leaf a | Node (Tree a) (Tree a) --prettyShow :: (Show a, Num a) => Tree a -> String -- WORKS prettyShow :: (Num a, Show a) => Tree a -> String -- FAILS prettyShow (Leaf a) =

[Haskell] Two PhD positions in theoretical computer science

2010-01-14 Thread Alexandra Silva
Vacancies for PhD positions in theoretical computer science === Leiden Institute of Advanced Computer Science (LIACS) of Leiden University and Centrum Wiskunde & Informatica (CWI) in Amsterdam are looking for two PhD students for working in