RE: Re[2]: [Haskell-cafe] newtype is superfluous

2005-10-17 Thread Simon Marlow
On 15 October 2005 19:08, Bulat Ziganshin wrote: Hello Lennart, Saturday, October 15, 2005, 5:03:50 PM, you wrote: Alas, Haskell is more subtle than that. Which is why newtype exists. Try case A _|_ of A _ - 1 with the two versions of A to see the difference. this have

[Haskell-cafe] Regular Expressions, was Re: Interest in helping w/ Haskell standard

2005-10-17 Thread Martin Sulzmann
Very interesting Conor. Do you know Xi et al's APLAS'03 paper? (Hongwei, I'm not sure whether you're on this list). Xi et al. use GRDTs (aka GADTs aka first-class phantom types) to represent XML documents. There're may be some connections between what you're doing and Xi et al's work. I believe

RE: [Haskell-cafe] pre-built ghc 6.4.1 crashes building FPS

2005-10-17 Thread Simon Peyton-Jones
Joel A released GHC should never crash. Can you submit a bug report please (see Report a bug on GHC's home page)? In doing so, please attach the source code that provokes the crash. Thanks Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of

[Haskell-cafe] Interactively used EDSLs

2005-10-17 Thread Lauri Alanko
Hello. Are there any embedded domain specific languages that are meant to be used interactively from a Hugs or GHCi prompt without requiring the user to be acquainted with Haskell in general, only the DSL library? For instance, a Haskell shell DSL that provided combinators for creating and

[Haskell-cafe] Parsec, state and/of my cluelessness

2005-10-17 Thread Niklas
Hi everybody, for my first real 'learn some haskell'-project I decided upon a parser. The resulting application would be somewhat useful to me and armed with such a cool library as Parsec, how could I fail? I was going to be a haskell hacker in notime. Oh, the wine, the women and the fame.

Re: [Haskell-cafe] Parsec, state and/of my cluelessness

2005-10-17 Thread robert dockins
[snip] Now comes the tricky part for me. Since the control can have three different types of children I use a helper that parses the body of the control using other parsers, collecting their results in three lists: ctrlBodyParser :: CharParser ([Value], [Property], [Control])

[Haskell-cafe] Announce: Decimal arithmetic library (questions inside)

2005-10-17 Thread Jeremy Shaw
Announcment: I am proud to announce the *premature* release of my Decimal arithmetic library: darcs get http://www.n-heptane.com/nhlab/repos/Decimal It implements real decimal arithmetic, for cases where the binary floating point is not acceptable (money, etc). Need Advice:

Re: [Haskell-cafe] pre-built ghc 6.4.1 crashes building FPS

2005-10-17 Thread Donald Bruce Stewart
joelr1: Folks, I downloaded and installed the pre-built ghc 6.4.1 on Windows XP and Win2k. I tried building FastPackedStrings but ghc crashes soon after starting. Any tips? I'm gonna try with a hand-built ghc but somehow doubt it will help. Oh, now that's interesting. Do you have a

Re: [Haskell-cafe] Interactively used EDSLs

2005-10-17 Thread Donald Bruce Stewart
la: Hello. Are there any embedded domain specific languages that are meant to be used interactively from a Hugs or GHCi prompt without requiring the user to be acquainted with Haskell in general, only the DSL library? For instance, a Haskell shell DSL that provided combinators for

Re: [Haskell-cafe] Regular Expressions without GADTs

2005-10-17 Thread Ralf Hinze
The code seems a bit simpler, too. Do you really think so? To me replacing a GADT by class and instance declarations seems the wrong way round. We should not forget that the DT in GADT stands for `data type'. One could certainly argue that the gist of functional programming is to define a