[Haskell] ANNOUNCE: Visual Haskell prerelease 0.2

2006-11-27 Thread Krasimir Angelov
Hello Haskellers, I am happy to announce that there is a prerelease version of Visual Haskell on: http://www.haskell.org/visualhaskell This is the first version that is: - available for both VStudio 2003 and VStudio 2005 - distributed with a stable GHC version (6.6) This is still prerele

[Haskell] ANNOUNCE: How to make a type-safe alloca: a new construction of a restricted IO monad

2006-11-27 Thread Stefan O'Rear
Introducing RIO, an experimental library for extensible restricted IO in Haskell. Selling features: * Automatic permissions inference. If you define a function: fun fd r = do { str <- hGetContents fd ; modifyRIORef r (+1) ; return str } RIO can infer the requirements as part of the ty

[Haskell] Haskell Weekly News: November 28, 2006

2006-11-27 Thread Donald Bruce Stewart
--- Haskell Weekly News http://haskell.org/haskellwiki/HWN Issue 51 - November 28, 2006 --- Welcome to issue 51 of HWN, a weekly newsletter covering de

[Haskell] Re: base libraries

2006-11-27 Thread Paul Johnson
Duncan Coutts wrote: Cabal can be upgraded using Cabal. This is important. I think there are two things here. First, its important that it can be upgraded. Most distributions already have a package management system that can handle this. I just got GHC, Haddock and a bunch of other stuff

[Haskell] polymorphism and existential types

2006-11-27 Thread Louis-Julien Guillemette
Supposing a polymorphic value (of type, say, forall a . ExpT a t) is stored inside an existential package (of type, say, forall a . Exp a), I wonder how to recover a polymorphic value when eliminating the existential. The ``natural way'' to write this doesn't work: {-# OPTIONS -fglasgow-exts #-

[Haskell] Midlands Graduate School 2007

2006-11-27 Thread Graham Hutton
++ Midlands Graduate School in the Foundations of Computing Science MGS 2007 16-20 April 2007 University of Nottingham, UK The Midlands Graduat