[Haskell] Is this a feature or bug in the GADTs & ExistentialQuantification? (Was: [Haskell-cafe] Unboxing VT_VARIANT in hscom)

2008-08-20 Thread Krasimir Angelov
The issue reported by Praki looks like a GHC bug to me. The smallest test case is at the end. (VarType a) is a GADT and Variant wraps the VarType with a value of type a. The definitions of Variant and VarType require ExistentialQuantification and GADTs extensions and I have declared them. The prob

[Haskell] Compiler Construction course using Haskell?

2008-08-20 Thread Johannes Waldmann
Hello. I plan to give a course in compiler construction, using Haskell as the implementation language (not as source or target language). Something along these lines: 1. combinator parsers (Parsec), 2. simple interpreter (arithmetical expressions) 3. add algebraic data types, functions 4. type ch

[Haskell] QuickCheck and HPC Tutorial

2008-08-20 Thread Andy Gill
Dear Haskellers, We would like to draw your attention to the following. At the DEFUN event (in conjunction with ICFP in Victoria in September), there will be a half day tutorial titled: Using QuickCheck and HPC - Obtaining Quality Assurance for Haskell Code The tutorial will be given by And

[Haskell] ANNOUNCE: Lava2000 on Hackage

2008-08-20 Thread Emil Axelsson
Hello, Lava2000 has been uploaded to Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/chalmers-lava2000 Lava is a structural hardware description library embedded in Haskell. This version of Lava focuses on verification, and connects to a number of different verification en

[Haskell] Re:Fwd: Haskell job opportunity: Platform Architect at

2008-08-20 Thread Bert Mayo
Fat Chance. My resume has been knocking on their email mail box since last weekend. Apparently the mail box is already stuffed full with applications from eager Haskellers. Thousands of Haskellers chasing one job! Why don't some of you geniuses start businesses to employ some of this eager t

Re: [Haskell] Re:Fwd: Haskell job opportunity: Platform Architect at

2008-08-20 Thread Johan Tibell
On Wed, Aug 20, 2008 at 6:14 PM, Bert Mayo <[EMAIL PROTECTED]> wrote: > Fat Chance. My resume has been knocking on their email mail box since last > weekend. Apparently the mail box is already stuffed full with applications > from eager Haskellers. Thousands of Haskellers chasing one job! > >

[Haskell] Haskell Weekly News: Issue 82 - August 20, 2008

2008-08-20 Thread Brent Yorgey
--- Haskell Weekly News http://sequence.complete.org/hwn/20080820 Issue 82 - August 20, 2008 --- Welcome to issue 82 of HWN, a newsletter covering

Re: [Haskell] Compiler Construction course using Haskell?

2008-08-20 Thread Claus Reinke
I plan to give a course in compiler construction, using Haskell as the implementation language (not as source or target language). This might be of interest: http://www.cs.nott.ac.uk/~nhn/G52CMP/index.html Something along these lines: 1. combinator parsers (Parsec), 2. simple interpreter (arit

Re: [Haskell] Re:Fwd: Haskell job opportunity: Platform Architect at

2008-08-20 Thread Jason Dusek
What is your company going to do? -- _jsn ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell] Re:Fwd: Haskell job opportunity: Platform Architect at

2008-08-20 Thread Jason Dusek
Let's make World of Warcraft! -- _jsn ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Re: Fwd: Haskell job opportunity: Platform Architect at

2008-08-20 Thread Benjamin L . Russell
On Wed, 20 Aug 2008 20:12:00 +0200, "Johan Tibell" <[EMAIL PROTECTED]> wrote: >On Wed, Aug 20, 2008 at 6:14 PM, Bert Mayo <[EMAIL PROTECTED]> wrote: >> Fat Chance. My resume has been knocking on their email mail box since last >> weekend. Apparently the mail box is already stuffed full with app