[Haskell] Re: Conditional typechecking with GADTs

On Tue, Dec 27, 2005 at 08:07:39PM -0800, [EMAIL PROTECTED] wrote: > > Tomasz Zielonka wrote: > > The papers on GADTs have an example showing how you can transform, > > traverse and evaluate ASTs (or terms) with more type safety. I've > > used such an approach in one of my applications and it work

[Haskell] Conditional typechecking with GADTs

Tomasz Zielonka wrote: > The papers on GADTs have an example showing how you can transform, > traverse and evaluate ASTs (or terms) with more type safety. I've > used such an approach in one of my applications and it works remarkably > well. > > However, I would like to be able to "turn off" that

[Haskell] Re: A question about fundeps <-> GADT interaction

Tomasz Zielonka wrote: > I tried to implement another function: > > mapChildren :: (forall a. Term f a -> Term f a) -> Term f b -> Term f b > mapChildren fun t@(Lit x) = t > mapChildren fun (IsZero t) = IsZero (fun t) > mapChildren fun (Succ t) = Succ (fun t) > mapChildren fun (If c t e)

[Haskell] Re: Announcing initial release of Shaskell

David Mercer writes: > Speaking of testing, is anyone aware of any good test > harnesses for benchmark comparison testing, it's been > quite a while since I cared about such things and am out > of touch with that corner of computing! At you'll find Haskell bindings

Re: [Haskell] Announcing initial release of Shaskell

On Tue, 27 Dec 2005 15:17:50 -0500, Dave Roundy wrote: >On Tue, Dec 27, 2005 at 01:36:53AM -0700, David Mercer wrote: >> We are pleased to announce Version 0.21a, the initial functioning >> release of Shaskell, our SHA2 library for (so far) ghc6. It supports >> sha256 and sha512 hashes in this ver

[Haskell] ANN: HDBC collection 0.99.0

I'm pleased to announce version 0.99.0 of HDBC, HDCB-postgresql, and HDBC-sqlite3. Tar.gz downloads are available at htp://quux.org/devel/hdbc. Darcs repositories are available under http://darcs.complete.org/. I have uploaded these three packages to Debian (sid). This release is intended as a be

Re: [Haskell] GADTs and GHC

On Fri, Oct 14, 2005 at 04:35:24PM +0100, Simon Peyton-Jones wrote: > Stephanie and Dimitrios and I are now busy revising our wobbly-types > GADT paper (which is implemented in GHC, but never published > http://research.microsoft.com/%7Esimonpj/papers/gadt/index.htm). We > have a *far* simpler sto

[Haskell] Re: A question about fundeps <-> GADT interaction

On Fri, Dec 23, 2005 at 12:10:07PM +0100, Tomasz Zielonka wrote: > On Fri, Dec 23, 2005 at 03:34:40AM -, [EMAIL PROTECTED] wrote: > > > > [Sorry for possible duplication, our DNS server seems to be broken, > > and the sysadm is on vacation] > > > > I don't think that is the problem with GADT

Re: [Haskell] Announcing initial release of Shaskell, version 0.21a (sha256/sha512 library)

On Tue, Dec 27, 2005 at 01:36:53AM -0700, David Mercer wrote: > We are pleased to announce Version 0.21a, the initial functioning > release of Shaskell, our SHA2 library for (so far) ghc6. It supports > sha256 and sha512 hashes in this version, and is "pure": no monads or > C libraries are involve

[Haskell] Announcing initial release of Shaskell, version 0.21a (sha256/sha512 library)

We are pleased to announce Version 0.21a, the initial functioning release of Shaskell, our SHA2 library for (so far) ghc6. It supports sha256 and sha512 hashes in this version, and is "pure": no monads or C libraries are involved! Source and Ubuntu 5.04 binaries are at: http://davidmercer.nfshost