Deokhwan Kim wrote:
Are the values of infinite lists _|_ (bottom)?
Depends on what you mean by value.
If you define value to mean normal form, then yes.
If you define value to mean weak head normal form, then no.
The former is common in strict programming languages. In nonstrict
functional
On Wed, May 10, 2006 at 02:00:20PM +0900, Deokhwan Kim wrote:
To: haskell-cafe@haskell.org
From: Deokhwan Kim [EMAIL PROTECTED]
Date: Wed, 10 May 2006 14:00:20 +0900
Subject: [Haskell-cafe] The values of infinite lists
Are the values of infinite lists _|_ (bottom)?
In section 1.3, the
Are the values of infinite lists _|_ (bottom)?
No. _|_ represents total lack of information about the result, whereas in a
lazy language like Haskell an infinite list contains a lot of information:
you can observe arbitrary parts of such a list, access them, and compute
with them.
In section
From: [EMAIL PROTECTED]
[mailto:[EMAIL PROTECTED] On Behalf Of Graham Klyne
Did you see [http://nellardo.com/lang/haskell/hash/] ?
Google also finds some links to code.
#g
--
Marc Weber wrote:
Hi.
Who wants to try devloping a new shell with me?
Also:
Who wants to try devloping a new shell with me?
Also:
http://www.cse.unsw.edu.au/~dons/h4sh.html
And (in Clean):
Rinus Plasmeijer and Arjen van Weelden. A functional shell that
operates on typed and compiled applications. In Varmo Vene and Tarmo
Uustalu, editors, Advanced Functional
johanj:
Who wants to try devloping a new shell with me?
Also:
http://www.cse.unsw.edu.au/~dons/h4sh.html
And (in Clean):
Rinus Plasmeijer and Arjen van Weelden. A functional shell that
operates on typed and compiled applications. In Varmo Vene and Tarmo
Uustalu, editors,
Dear all,
while WinHugs (20051031) lets me match against an existentially
quantified constructor
data ... = ... | forall b . FMap (b - a) (Mapper s b)
... where FMap qf qc = stripFMap f q
the GHC compiler as well as GHCi (6.4.2 and earlier) issue an error
My brain just exploded.
On 10.05 13:27, Otakar Smrz wrote:
data ... = ... | forall b . FMap (b - a) (Mapper s b)
... where FMap qf qc = stripFMap f q
the GHC compiler as well as GHCi (6.4.2 and earlier) issue an error
My brain just exploded.
I can't handle pattern bindings for
Donald Bruce Stewart wrote:
Funny this should come up. We've just had several submissions to work
on a functional shell for the google summer of code.
Here's a bit of a summary of what's been done in Haskell I prepared a
while back.
On Wed, 2006-05-10 at 23:29 +0900, Deokhwan Kim wrote:
Bjorn Lisper wrote:
precisely the same as _|_. Only certain kinds of nontermination can be
modeled by _|_ in a non-strict language.
What kinds of nontermination are modeled by _|_ in Haskell?
let f = f in f 3
length [0..]
Duncan
[moved to haskell-cafe]
On Wednesday 10 May 2006 11:09 am, Doug Kirk wrote:
Hi,
I'm a Haskell newbie, but not new to programming, and I have a
question regarding style (I think).
I'm writing a parser for OMG's OCL, and have two ways of defining the
AST model of a constraint. Each
Bjorn Lisper wrote:
Nontermination is not
the precisely the same as _|_. Only certain kinds of nontermination
can be modeled by _|_ in a non-strict language.
What kinds of non-termination are *not* modelled by _|_ in Haskell?
Thanks, Brian.
___
On Wednesday 10 May 2006 12:30 pm, Brian Hulley wrote:
Bjorn Lisper wrote:
Nontermination is not
the precisely the same as _|_. Only certain kinds of nontermination
can be modeled by _|_ in a non-strict language.
What kinds of non-termination are *not* modelled by _|_ in Haskell?
Robert Dockins wrote:
On Wednesday 10 May 2006 12:30 pm, Brian Hulley wrote:
Bjorn Lisper wrote:
Nontermination is not
the precisely the same as _|_. Only certain kinds of nontermination
can be modeled by _|_ in a non-strict language.
What kinds of non-termination are *not* modelled by _|_
On Wednesday 10 May 2006 02:49 pm, you wrote:
Robert Dockins wrote:
On Wednesday 10 May 2006 12:30 pm, Brian Hulley wrote:
Bjorn Lisper wrote:
Nontermination is not
the precisely the same as _|_. Only certain kinds of nontermination
can be modeled by _|_ in a non-strict language.
Thanks for your response, I'll follow your saga and hopefully learn a
bit more about GHC's guts in the process.
On 07/05/2006, at 4:05 AM, Reilly Hayes wrote:
You'll get a better response to this on the glasgow-haskell-users
list. I'm cross-posting my reply.
I'm brand new to hacking
Deokhwan Kim:
Bjorn Lisper wrote:
precisely the same as _|_. Only certain kinds of nontermination can be
modeled by _|_ in a non-strict language.
What kinds of nontermination are modeled by _|_ in Haskell?
Nonterminating computations that never return anything. For instance,
inf = inf
Björn
17 matches
Mail list logo
