Hello Donald,
two notes on your FPS library:
1) your code include explicit references to Prelude.map,
Prelude.length and other list functions inlcuded in Prelude. imho,
this references will look better if you explicitily state List module:
List.map, List.length and so on...
2) as i say you befor
Semantic subtyping issue:
Assume we have a function f of type f :: Reg (r*) -> ...
to which we pass a value x of type Reg (r,r*).
We have that (r,r*) is a semantic subtype of r*,
hence, the code f x is accepted in languages such as XDuce/CDuce.
I'm just saying that the fact regexp can be represe
GADTs have the problem that they're not extensible,
but type classes are! Imagine if we add regular hedges.
So, I think Oleg has a point here.
Oleg's solution may look rather cryptic. But if we recall that
type class instances describe proof systems, then Oleg's solutions
starts looking quite
> 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 collec
Conor McBride wrote:
> Inspired by Ralf's post, I thought I'd just GADTize a dependently typed
> program I wrote in 2001.
Equally inspired, I thought of deGADTizing that code. The code below
also uses no existentials, and no local type annotations. The code is
more general in that the parser wor
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
>
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 ha
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:
---
[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])
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.
Didn't
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 piping
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 J
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.
Thanks, Joel
--
http://wagerlabs.com/
_
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 t
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.
>
15 matches
Mail list logo
