[Haskell-cafe] Using - as both type and value constructor

2011-08-24 Thread Armando Blancas
Studying the paper *A Simple Implementation for Priority Search Queues*, by Ralf Hinze, I came across the following syntax that I didn't understand and I couldn't use in GHCi 7.0.3 for defining a binding data type (page 3): Bindings are represented by the following data type: *data k - p = k - p*

Re: [Haskell-cafe] Using - as both type and value constructor

2011-08-24 Thread Daniel Fischer
On Wednesday 24 August 2011, 20:24:14, Armando Blancas wrote: Studying the paper *A Simple Implementation for Priority Search Queues*, by Ralf Hinze, I came across the following syntax that I didn't understand and I couldn't use in GHCi 7.0.3 for defining a binding data type (page 3):

Re: [Haskell-cafe] Using - as both type and value constructor

2011-08-24 Thread Armando Blancas
I didn't see that claim in the linked slides, and it's not Haskell '98 (nor Haskell 2010). I didn't realize it linked to the slides; I thought that pointed to the article. I just found another version of the paper, A Simple Implementation Technique for Priority Search Queues, by Hinze,

Re: [Haskell-cafe] Using - as both type and value constructor

2011-08-24 Thread wren ng thornton
On 8/24/11 5:03 PM, Armando Blancas wrote: I didn't see that claim in the linked slides, and it's not Haskell '98 (nor Haskell 2010). I didn't realize it linked to the slides; I thought that pointed to the article. I just found another version of the paper, A Simple Implementation Technique

Re: [Haskell-cafe] Using - as both type and value constructor

2011-08-24 Thread Armando Blancas
Thanks for the info; that's good to know. The ICFP '01 version uses pairs; not sure when the other came out or where. On Wed, Aug 24, 2011 at 4:46 PM, wren ng thornton w...@freegeek.org wrote: On 8/24/11 5:03 PM, Armando Blancas wrote: I didn't see that claim in the linked slides, and it's